]> git.unchartedbackwaters.co.uk Git - francis/stp.git/summary
projects / francis / stp.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionSTP Constraint Solver.
ownerFrancis Russell
last changeTue, 19 Apr 2011 23:21:10 +0000 (00:21 +0100)
URLhttps://git.unchartedbackwaters.co.uk/francis/stp.git
shortlog
2011-04-19 Francis RussellMerge current CryptoMiniSat head. cryptominisat master commit | commitdiff | tree | snapshot
2011-04-19 Francis RussellSwitch to multiplication variant 1. commit | commitdiff | tree | snapshot
2011-04-19 Francis RussellDisable zlib and OpenMP support in CryptoMiniSat. commit | commitdiff | tree | snapshot
2011-04-19 Francis RussellIntegrate CryptoMiniSat 2.9.0. commit | commitdiff | tree | snapshot
2011-04-18 Francis RussellUse CryptoMiniSat by default. commit | commitdiff | tree | snapshot
2011-04-16 trevor_hansenExtra upfront simplification rules. commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenAdd some missing simplification rules for AND/OR/ propo... commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenShortcut in a rare circumstance. commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenExtra BVXOR simplification rules. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenAdds the reverse of rules to catch an obscure but impor... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Add a warning message when using --exit... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Fix the difficulty score for subtraction. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenFix the build. Without -NDEBUG wouldn't compile. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Look for nodes that are true/false when... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenRemove some assertions that don't necessarily hold. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Replace the hashing node factory with... commit | commitdiff | tree | snapshot
...
heads
12 years ago svn-trunk shortlog | log | tree
14 years ago master shortlog | log | tree
14 years ago cryptominisat shortlog | log | tree
STP Constraint Solver.