Current Status
Everything is currently downloadble
The following things are included:
The binary and a very messy version of the code (written in the MVSIS platform using zchaff)!
All the CNF for every method of solving Boolean matching!
A C and Perl program to create CNFs to solve boolean matching!
If you'd like anything else, just ask and it will be added.
What's available now
- Structures in easy to read format
- Source code for Windows (mainly for .NET debugging)
- Source code and binary for Linux
Future Additions
- Use MiniSAT
- Implement coarsening (DAC'06)
- Handle multiple fanout cones
- Try to generate conflict clauses like in DAC'06
- Can't get it to improve results
I'm looking for someone to help me implement these things. If you want to help send me an email at
