satisfiability solver in Squeak?

Derek Brans brans at nerdonawire.com
Thu Dec 5 01:14:57 UTC 2002


I'm looking for an efficient algorithm to find solutions to boolean 
functions.  Does anyone have one written in Squeak?

Thanks.
Derek


Nerd on a Wire: Web and Information Solutions
Website Design - Database Systems - Site Hosting
604.874.6463
mailto:info at nerdonawire.com
For more information, visit http://nerdonawire.com




More information about the Squeak-dev mailing list