Commit Graph

2 Commits

Author SHA1 Message Date
Martin Diehl 14509876d4 error == 0 is normal termination 2018-09-29 09:57:53 +02:00
Martin Diehl 4c057ba529 both solvers can share quit 2018-09-27 20:09:59 +02:00