initial commit. doesn't compile.
Builds now. But sign-chaos in AIG-Output.
Small CNF-Examples for testing
Eclipse Configuration Files