10

dir
2
http://splar.googlecode.com/svn/trunk/SPLAR/src/splar/plugins/reasoners/sat/sat4j
http://splar.googlecode.com/svn



2010-11-10T13:30:15.575041Z
2
marcilio.mendonca














2f283e15-5f80-a62c-534c-72c42afccfff

StaticVariableOrderSAT.java
file




2012-04-19T06:15:10.698238Z
ddae81b6508f1d0a23b3107bf7a2d6f0
2010-11-10T13:30:15.575041Z
2
marcilio.mendonca





















2724

FTReasoningWithSAT.java
file




2012-04-19T06:15:10.698238Z
002fcedda0905b8d0f08ade24d67e357
2010-11-10T13:30:15.575041Z
2
marcilio.mendonca





















20827

ReasoningWithSAT.java
file




2012-04-19T06:15:10.698238Z
95a09b0df5d696abfc0d7074d1f296ea
2010-11-10T13:30:15.575041Z
2
marcilio.mendonca





















10670

FMReasoningWithSAT.java
file




2012-04-19T06:15:10.702238Z
b6dc4d06b975a4eef4e4be8ae9039875
2010-11-10T13:30:15.575041Z
2
marcilio.mendonca





















1167

