2017-07-12 | Hamed | One-hot encoding sat solution translator | blob | commitdiff | raw |
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 |