projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ebb053) | patch
Changes to SExpr to accept autoconversion from bool and const char*. Adding an exampl...
authorTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 18:30:37 +0000 (18:30 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 18:30:37 +0000 (18:30 +0000)
commit643a673c6206f158297a4d7b63a2f2f61e61deb8
tree8b005ba86e36593b689ea44e464861ba583e910dtree
parent8ebb053b1c8a43df8b8df21e31ed5a94cf0a53becommit | diff
Changes to SExpr to accept autoconversion from bool and const char*. Adding an example for combination.
examples/api/Makefile.am diff | blob | history
examples/api/combination.cpp [new file with mode: 0644] blob
examples/api/linear_arith.cpp diff | blob | history
src/util/sexpr.h diff | blob | history