BoolExpr is a C++ library for symbolic Boolean algebra.
This code is known to compile on Ubuntu Trusty Linux. Install the following dependencies:
sudo apt-get install -y build-essential cmake libboost-dev
To get started using the code, first clone the repository and its third_party dependencies:
git clone --recursive https://github.com/cjdrake/boolexpr
Next, build the library dependencies.
To build CryptoMiniSat:
cd third_party/cryptominisat cmake . make
To build Google Test:
cd third_party/googletest cmake . make
After the dependencies have been built, to run the functional test suite:
To collect code coverage data:
The coverage report will be in build/cover/html/index.html.
The documentation uses Sphinx. To build the html:
pip install sphinx cd doc make html
If you have some idea you would like to see realized, please email me.
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|File Name & Checksum SHA256 Checksum Help||Version||File Type||Upload Date|
|boolexpr-2.0.tar.gz (354.2 kB) Copy SHA256 Checksum SHA256||–||Source||Jul 28, 2016|
|boolexpr-2.0.zip (478.6 kB) Copy SHA256 Checksum SHA256||–||Source||Jul 28, 2016|