Stochastic greedy variable ordering algorithm
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
ARP
miniSAT
.gitignore
CMakeLists.txt
LICENSE.txt
README.md

README.md

CVO2

To build, generate the makefile using the provided CMakeLists. For example:

mkdir build

cd build

cmake ..

A makefile will be generated inside the build/ folder. Building generates an executable named tw-heuristic.