- as we now always keep the learnt rules we can clean up the code   a bit. this changes the layout of the problem queue again, sorry   schubi - put unsolvable proof on learnt_pool queue
- as we now always keep the learnt rules we can clean up the code
  a bit. this changes the layout of the problem queue again, sorry
  schubi
- put unsolvable proof on learnt_pool queue


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver