Daniël de Kok 5f0cf22c59 cadical: enable tests		2020-06-24 15:10:53 -07:00
..
default.nix	cadical: enable tests	2020-06-24 15:10:53 -07:00