projects / Benchmarks_CSolver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efa5110) | patch
Csolver encoding is working fine for hard examples ...
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 3 Aug 2018 08:27:18 +0000 (01:27 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 3 Aug 2018 08:27:18 +0000 (01:27 -0700)
commitaf2365ea259dcf4d1c41831a1111b50bedc3375b
treee773ac2327ee073dcaf3b83b0d4ed6415ceaa4b1tree | snapshot
parentefa5110e0b19cc26190b60ef1329c13c8ed0d1a6commit | diff
Csolver encoding is working fine for hard examples ...
hexiom/csolverHexiom.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.