10

dir
68
https://svn.cs.york.ac.uk/svn/NDL_NC/trunk/jythonParser/src/ec/app/sat
https://svn.cs.york.ac.uk/svn/NDL_NC



2012-05-08T15:46:16.488309Z
64
jaitken@CS.YORK.AC.UK














e73a802a-d89f-4a17-8b8d-03be8048aa51

data-215.cnf
file




2012-05-09T09:34:16.906250Z
ecfc79ef5a721ff87f2051ecdf719216
2011-11-22T11:12:33.182696Z
9
jaitken@CS.YORK.AC.UK





















3304

SAT.java
file




2012-05-09T09:34:16.906250Z
2026a46afc5685741b5023fd2d34ec29
2012-05-08T15:46:16.488309Z
64
jaitken@CS.YORK.AC.UK
has-props




















3815

sat.params
file




2012-05-09T09:34:16.906250Z
090d82cb98357795ca9fa01fedf8ef2a
2012-05-08T15:46:16.488309Z
64
jaitken@CS.YORK.AC.UK





















937

SAT.class
file




2012-05-09T09:34:16.921875Z
38f65f1e7a45e8dea10347255dc1d3dd
2012-05-08T15:46:16.488309Z
64
jaitken@CS.YORK.AC.UK
has-props




















2404

SAT$Clause.class
file




2012-05-09T09:34:19.359375Z
1abce5868874db6e6faa5daf35835e25
2012-05-08T15:46:16.488309Z
64
jaitken@CS.YORK.AC.UK
has-props




















908

data-10.cnf
file




2012-05-09T09:34:19.375000Z
da63963dfa3aef7eef8fa6c688b94b1a
2011-11-22T11:12:33.182696Z
9
jaitken@CS.YORK.AC.UK





















241

data-1000.cnf
file




2012-05-09T09:34:19.375000Z
bd5ef6743182e117db788cc241a5205b
2011-11-22T11:12:33.182696Z
9
jaitken@CS.YORK.AC.UK





















15013

README
file




2012-05-09T09:34:19.406250Z
b6c9ca6bc55995d06293c39e86b5d272
2011-11-22T11:12:33.182696Z
9
jaitken@CS.YORK.AC.UK





















817

