10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/src/sat/core_prop
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-11-28T02:55:18.247248Z
1424
trevor_hansen














e59a4935-1847-0410-ae03-e826735625c1

Solver_prop.h
file




2011-12-13T02:40:22.000000Z
2c86dba524ccc2a7c184f66618a65a37
2011-11-28T02:55:18.247248Z
1424
trevor_hansen





















30814

Makefile
file




2011-12-13T02:40:22.000000Z
1f64222c208ce5b3c5d026ee548079cc
2011-10-22T12:12:28.444788Z
1407
trevor_hansen





















85

Solver_prop.cc
file




2011-12-13T02:40:22.000000Z
ade0aba64843de0098c572d2dc57ca86
2011-11-28T02:55:18.247248Z
1424
trevor_hansen





















61428

