carl  24.04
Computer ARithmetic Library
exact.h File Reference
#include "../SetCover.h"
#include "../TypedSetCover.h"
Include dependency graph for exact.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 
 carl::covering
 
 carl::covering::heuristic
 

Functions

Bitset carl::covering::heuristic::exact (SetCover &sc)
 Exact "heuristic": Computes a minimum set cover. More...