Mon, 03 Oct 2016 14:34:32 +0200 | haftmann | more lemmas | changeset | files |
Mon, 03 Oct 2016 14:34:31 +0200 | haftmann | option to report results of solve_direct as explicit warnings | changeset | files |
Mon, 03 Oct 2016 14:34:30 +0200 | haftmann | modernized option | changeset | files |