summaryrefslogtreecommitdiff
path: root/test/regress/regress0/fmf/fc-unsat-pent.smt2
AgeCommit message (Expand)Author
2015-04-23A few more minor updates to match google repository with CVC4 repositoryClark Barrett
2015-04-21Fix file permissionsClark Barrett
2014-04-10Add support for cardinality constraints logic UFC. Add regressions in fmf/. ...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback