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-2.2.zip
(479.4 kB
view hashes)
boolexpr-2.2.tar.gz
(355.2 kB
view hashes)
Built Distributions
Close
Hashes for boolexpr-2.2-cp35-cp35m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a1bbdf2113a8922848185a5b0d403a872e88467aa858b06a53a3af987da91be6 |
|
MD5 | 2cfbd1f27e97a8ae75d26e7f4884fa9f |
|
BLAKE2b-256 | acc74042ccd9ee7193eaf73eb19c05b6f2da43d37ff0c781d83520a5ff71f7a7 |
Close
Hashes for boolexpr-2.2-cp34-cp34m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ebdece1a6dd8a43074eed738016dbbbc2237dfcfea810095a0954ae7977058ec |
|
MD5 | c7f8ba0cc826010db499a641178c247b |
|
BLAKE2b-256 | 29b079f2c3453c8254dd24a51c504df5bb5097b9d84d6ff96d87b48c0583ecdb |