| commit | 9a96fec4b31ac27a403b6c52221897d04d9fcc4e | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Mon, 22 Mar 2010 19:46:35 +0000 (22 19:46 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Mon, 22 Mar 2010 19:58:13 +0000 (22 19:58 +0000) | ||
| tree | c37bedc32ebf5f38f990321cca4be60bcd0ef7f2 | treesnapshot (tar.gz zip) |
| parent | 7553544939ec441a88ef453006b54b82bbe9de0f | commitdiff |
Added stress tests for solver
| tests/testsat.py | [new file with mode: 0755] | blob |