niklasso/supermini
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
This is a super-project of some MiniSat related projects to help building libraries and tools with CMake. To install/build: ================ * Initialize and download the submodules that you are interested in: > git submodule init <list-of-submodules> > git submodule update * Create a build directory somewhere and cd into it. Then build and configure with: > (c)cmake <path-to-src-root> > make > make install (optional) Example 1: Building only the pseudo-boolean solver MiniSat+ ============================ > cd <somewhere-you-want-to-place-files> > mkdir build > git clone git://github.com/niklasso/supermini.git supermini > cd supermini > git submodule init minisat minisatp > git submodule update > cd ../build > ccmake ../supermini [choose possible options] > make minisatp Example 2: Building only the model checker Tip ============================ > cd <somewhere-you-want-to-place-files> > mkdir build > git clone git://github.com/niklasso/supermini.git supermini > cd supermini > git submodule init minisat mcl tip > git submodule update > cd ../build > ccmake ../supermini [choose possible options] > make tip
About
A CMake super-project of MiniSat related tools and libraries for easier building
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published