Index of /~sabato/pub/prolog-code

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] adder.pl                30-Jan-2007 01:56  616   
[TXT] cnf.pl                  30-Jan-2007 01:56  3.2K  
[TXT] minisat.pl              11-Apr-2007 23:29  2.9K  
[   ] pl-minisat.dll          27-Jun-2007 14:54   32K  
[TXT] test-old.pl             27-Jun-2007 19:23  4.9K  
[   ] test.BAK                27-Jun-2007 19:40  4.9K  
[TXT] test.pl                 27-Jun-2007 19:48  4.9K
Apache Server at www.cs.bgu.ac.il Port 80