Gabriel Ebner e336cd003a picosat: enable proof output and install various utils		2016-04-02 18:45:47 +02:00
..
default.nix	picosat: enable proof output and install various utils	2016-04-02 18:45:47 +02:00