[...] > > > Should we create a new task "Logic"? > > > > I'd be in favour of this. > > Thomas, if you could create and upload a corresponding task that would > be great. I certainly won't have the time to look into this today. > > There are also certainly packages that could be added to that task but > that are currently not listed on the wiki page: > > alt-ergo > cvc3 > coinor-cbc > > come to my mind but there are certainly more. > It would be nice to have the SAT/SMT solvers in there as well: boolector picosat minisat2 Best, Michael
Attachment:
pgpnx29hn_KoZ.pgp
Description: PGP signature