Talk:Symbolic Logic:Programming:Value Set Implementation
From Knowino
Revision as of 04:17, 10 September 2011 by Thepigdog (talk | contributions)
More difficult than I thought it would be. Thepigdog 10:20, 14 July 2011 (EDT)
Some tidying up to do Thepigdog 11:30, 14 July 2011 (EDT)
The code on this page is not verified yet. I plan to get all the code compiled, and have unit tests created at some stage. Thepigdog 08:30, 6 September 2011 (EDT)
There is more work to be done to prove the completeness of these algorithms. Thepigdog 08:32, 6 September 2011 (EDT)
