Prev: // Window main # Window object called "main"
Next: Power set implementation
From: Thorsten Kiefer on 27 May 2010 18:42
Hi,
I turned my sat solver into a game :
http://tokis-edv-service.de/index.php/beispiele/solving-sat-by-hand

If you dont wanna register, simply use the guest account.
password of guest is guest.

Have much fun with it.

Best wishes
Thorsten
 | 
Pages: 1
Prev: // Window main # Window object called "main"
Next: Power set implementation