2 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	e89bc55b9f	cmake	2018-11-16 14:02:56 +00:00
Vítor Santos Costa	6975c60645	support interface to minisat2.	2015-11-09 11:28:44 +00:00