carl  24.04
Computer ARithmetic Library
exact.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "../SetCover.h"
4 #include "../TypedSetCover.h"
5 
6 namespace carl::covering::heuristic {
7 
8 /**
9  * Exact "heuristic":
10  * Computes a minimum set cover.
11  */
12 Bitset exact(SetCover& sc);
13 
14 }
carl::covering::heuristic::exact
Bitset exact(SetCover &sc)
Exact "heuristic": Computes a minimum set cover.
Definition: exact.cpp:35