Diff of /thys/SATSolverVerification/ROOT.ML [000000] .. [653eb8]  Maximize  Restore

Switch to side-by-side view

--- a
+++ b/thys/SATSolverVerification/ROOT.ML
@@ -0,0 +1,4 @@
+  no_document use_thy "Multiset";
+  use_thy "BasicDPLL";
+  use_thy "NieuwenhuisOliverasTinelli";
+  use_thy "KrsticGoel"; 

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks