BoolExpr Documentation
¶
Release: 2.4
BoolExpr is an open source C++ library for symbolic Boolean algebra.
Contents
¶
Introduction
Features
Dependencies
Influences
Goals
Free Software
References
Installation
Build Tools
Python Package Index
Source Code
Quick Start
Creating Variables
Creating Expressions
Function Domain and Range
Advanced
Trivial Operators
Transformations
Variable Substitution
Satisfiability
Cofactors
Multi-Dimensional Arrays
Unfeatures
Python-only Components
Preprocessor Usage
Boost Usage
BoolExpr Public Data and Methods
Release Notes
Release 2.4
Release 2.3
Release 2.2
Release 2.1
Release 2.0
Release 1.3
Release 1.2
Release 1.1
Release 1.0
Release 0.4
Release 0.3
Release 0.2
Release 0.1
Reference
¶
C++ API Reference
Python API Reference
Indices and Tables
¶
Index
Module Index
Search Page
Table Of Contents
BoolExpr Documentation
Contents
Reference
Indices and Tables
Related Topics
Documentation overview
Next:
Introduction
This Page
Show Source
Quick search