2 Commits

Author	SHA1	Message	Date
Vítor Santos Costa	e938c17748	fix clang compilation (Denys Duchier).	2012-06-29 22:24:12 +01:00
Vítor Manuel de Morais Santos Costa	7058b6b35f	minisat swi interface package.	2009-11-11 10:56:37 +00:00