projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79ad2d6) | patch
Generalize sygus search space narrowing to arbitrary theory rewriting.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 26 Jan 2015 09:41:51 +0000 (10:41 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 26 Jan 2015 09:41:51 +0000 (10:41 +0100)
commitf3045ccce9d30114f6e90cfa72de176da344cb1f
tree80c97fbab7720625a616130acd96edd8d61a91detree
parent79ad2d6ec3ebd5c45dce4e13e895d0bed0a6f525commit | diff
Generalize sygus search space narrowing to arbitrary theory rewriting.
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/datatypes/datatypes_sygus.h diff | blob | history