carl
24.04
Computer ARithmetic Library
|
#include "../SetCover.h"
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::remove_duplicates (SetCover &sc) |
Preprocessing heuristic: Compresses the matrix by removing duplicate columns. More... | |