projects / Benchmarks_CSolver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e2d553) | patch
Bug fix: providing right number of variables for the SAT Solver
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 6 Sep 2018 23:23:05 +0000 (16:23 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 6 Sep 2018 23:23:05 +0000 (16:23 -0700)
commit8efb6673568082014e3a671a344e67c067137285
tree4d4285a7abab5297d82be7e106ebcf922e71252atree | snapshot
parent4e2d55397fdc1bea9b7dd93fc5d8b93ceb599499commit | diff
Bug fix: providing right number of variables for the SAT Solver
killerSudoku/killerSolver.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.