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.1.zip
(479.1 kB
view hashes)
boolexpr-2.1.tar.gz
(354.8 kB
view hashes)
Built Distributions
Close
Hashes for boolexpr-2.1-cp35-cp35m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b6191a51602a10a3f8b354968ed1a4ff4cfb058c308bb495cac112febedc5e36 |
|
MD5 | 4a71503465f2abc99a417afdb98b84cc |
|
BLAKE2b-256 | 4f07c13bee5a8e8458e5bd98dd32dc61c4a6a0e89f7a831417387276c5e5a243 |
Close
Hashes for boolexpr-2.1-cp34-cp34m-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5c1ab8b1a515dcc5007a77def8d75b812b55dcc822503e6cd73f80e973a9aca6 |
|
MD5 | bedfdc00f2aa280c076daa24ab43bb5d |
|
BLAKE2b-256 | acea22034735fdac9691249f9fedea797f2b6338ca8d82da9df04fbec539d5ce |