List view

• Cleaning of the benchmark framework

  The benchmark framework must be cleaned, because the scripts have got wrong names and they don't work together very well. Maybe an complete rewrite from the scratch in python.

  No due date
  0% complete0 open0 closed

• Cleaning of the testingframework

  Unit tests have to be rewritten and new ones for other parts of the code must be added.

  No due date
  0% complete0 open0 closed

• Adding learning of clauses that works

  We have to add learning of clauses due to conflicts to increase the speed of the solver

  No due date
  0% complete0 open0 closed