Skip to content


Merlin requested to merge onestep into master

This merge request implements general one-step satisfiability (see Oliver Grosch BA).


  • Cleanup (see comments below)
  • Implement a flag to explicitly switch to one-step satisfiability as it is very inefficient when other procedures are available.
Edited by Merlin

Merge request reports