Talk:Symbolic Logic:Programming:Value Set Implementation

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)