Boolean Expressions
Project description
BoolExpr is a C++ library for symbolic Boolean algebra.
System Dependencies
This code is known to compile on Ubuntu Trusty Linux. Install the following dependencies:
sudo apt-get install -y build-essential cmake libboost-dev
Getting Started
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
Run Tests
After the dependencies have been built, to run the functional test suite:
make test
To collect code coverage data:
make cover
The coverage report will be in build/cover/html/index.html.
Build Documentation
The documentation uses Sphinx. To build the html:
pip install sphinx cd doc make html
Contributing
If you have some idea you would like to see realized, please email me.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
boolexpr-1.2.zip
(459.9 kB
view hashes)
boolexpr-1.2.tar.gz
(341.0 kB
view hashes)