2017-07-18 | Hamed | Adding an API for translating the value of an BooleanOrder | blob | commitdiff | raw |
2017-07-12 | Hamed | Adding sat solution translator for binary value encoding | blob | commitdiff | raw | diff to current |
2017-07-12 | Hamed | Adding unary encoding in sat solution translator ... | blob | commitdiff | raw | diff to current |
2017-07-12 | Hamed | One-hot encoding sat solution translator | blob | commitdiff | raw | diff to current |
2017-07-12 | Hamed | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw | diff to current |
2017-07-12 | Hamed | Adding SAT translator | blob | commitdiff | raw | diff to current |