Copyright (c) 2007, Martin Lange, University of Aarhus

SemExp expands Boolean formulas in PLA format by adding additional minterms into an equivalent larger one. The larger formula obviously contains more redundancies for Boolean minimisers to exploit.

The current version of SemExp is a beta release only. No warranty can be given. The source code can be downloaded here. It is distributed under the BSD license.

• SemExp source code, gzipped tar archive
  For installation instructions see the included README file.
  Once installed type semexp --help for a short usage guide.
• PDF version of the paper describing semantical expansion.

New strategies for the selection of minterms can easily be implemented. See the README file for detailed instructions.