Commit graph

2 commits

Author SHA1 Message Date
Philipp Hagemeister 345b0c9b46 Remove dead code 2013-07-08 02:13:50 +02:00
Philipp Hagemeister 73e79f2a1b [3sat] Add support (Fixes #1001) 2013-07-08 01:13:55 +02:00