Onestep

Merged Merlin requested to merge onestep into master

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

ToDos:

  • 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