carl  24.04
Computer ARithmetic Library
carl-covering.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "SetCover.h"
4 #include "TypedSetCover.h"
5 
6 #include "heuristics/exact.h"
7 #include "heuristics/greedy.h"
8 #include "heuristics/remove_duplicates.h"
9 #include "heuristics/select_essential.h"
10 #include "heuristics/trivial.h"