Commit Graph

2 Commits

Author SHA1 Message Date
Jukka Aho 60046942e5 new style concrete problem 2016-02-02 22:22:21 +02:00
Jukka Aho bbf3d2678c test of new solver 2016-02-01 09:15:42 +02:00