projects / satune.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9df82d) | patch
checking the the variable isn't constant in generating proxy variables + making its...
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 27 Jul 2018 02:48:54 +0000 (19:48 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 27 Jul 2018 02:48:54 +0000 (19:48 -0700)
commit555df540fc4fce65ef773ff1f9515ce3dd6800c4
tree926b04b9e5c09c524618cdac81d7dfa95fca11f3tree | snapshot
parentc9df82de0310e76de1f3b9b24e1d78115705a5f1commit | diff
checking the the variable isn't constant in generating proxy variables + making its tuner more fine-grained
src/Backend/satencoder.cc diff | blob | history
src/Backend/satfunctableencoder.cc diff | blob | history
src/Tuner/tunable.h diff | blob | history
SATune Repository