Skip to content

picarresursix/libcnf

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LibCNF (the Conjunctive Normal Form formula solving LIBrary) {#mainpage}

Install

On linux, run the following command from the install directory:

mkdir build
cmake ..
make
sudo make install

Usage

Simply include the header in your code and link the library during the compilation. Warning! This library uses the std::initializer_list template so it requires the C++11 standard. Simply add -lLibCNF -std=gnu++11 to your compilation line to take care of everything.

Test

Compile the test.cpp in the test directory with g++ test.cpp -o test -std=gnu++11 -lLibCNF and then run the test with ./test.

About

Provides an easy way to build crypto-oriented CNF formulas, solve them with an external SAT-solver and use the result thus obtained.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published