Index of /~schmitz/teach/2020_lo5/java

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 org.sat4j.core.jar          2020-10-01 15:59  337K  
 Formule.java                2020-10-11 19:03   18K  
 DPLL.java                   2020-10-05 19:32  6.2K  
 DimacsParser.java           2020-10-01 15:58  5.8K  
 DPLLRec.java                2020-10-05 19:32  3.1K  
 DIMACS.java                 2020-10-01 15:57  3.1K  
 Horn.java                   2020-10-20 10:29  2.6K  
 Sequent.java                2020-10-11 19:03  2.5K  
 SolveurSplit.java           2020-10-05 19:33  2.2K  
 HornClause.java             2020-10-20 10:29  2.1K  
 SolveurNaif.java            2020-10-02 18:31  1.5K  
 Main.java                   2020-10-01 16:01  1.3K  
 Clause.java                 2020-10-01 15:57  921   
 Solveur.java                2020-10-01 15:58  593   
 UnsatisfiableException.java 2020-10-01 16:00  119