projects / satune.git / history
| 2017-07-17 | Hamed | Translating back the set with one item (iff and ite... | blob | commitdiff | raw |
| 2017-07-17 | Hamed | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw | diff to current |
| 2017-07-17 | bdemsky | Handle sets of 1 | blob | commitdiff | raw | diff to current |
| 2017-07-12 | bdemsky | Fix UNARY Encoding issue to use one less variable | blob | commitdiff | raw | diff to current |
| 2017-07-12 | bdemsky | Don't generate redundant constraints | blob | commitdiff | raw | diff to current |
| 2017-07-12 | Hamed | Binary value encoding ... | blob | commitdiff | raw | diff to current |
| 2017-07-12 | bdemsky | Add Unary Encoding | blob | commitdiff | raw | diff to current |
| 2017-07-12 | bdemsky | Add OneHot Encoding | blob | commitdiff | raw | diff to current |
| 2017-07-11 | bdemsky | Split encoder into more files | blob | commitdiff | raw | diff to current |