projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 466b45c) | patch
Uses information gain heuristic for building better solutions from DTs (#2451)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 13 Sep 2018 20:06:50 +0000 (15:06 -0500)
committerGitHub <noreply@github.com>
Thu, 13 Sep 2018 20:06:50 +0000 (15:06 -0500)
commit6ac8972a11047d0d858055ea89aa2acf15e2cfa7
tree66d8e8f744637c0a6a9fbe74f765d4b17a69eaactree
parent466b45c52d83cf19caef2c1eee6e7c5fd2ecb1bccommit | diff
Uses information gain heuristic for building better solutions from DTs (#2451)
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus/cegis_unif.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif_rl.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif_rl.h diff | blob | history
test/regress/Makefile.tests diff | blob | history
test/regress/regress1/sygus/car_3.lus.sy [new file with mode: 0755] blob