Notes concerning “Constraint satisfaction”
One big text file
02020-06-04 (updated 02020-06-06) (20 minutes)
The Spungot sentential database for end-user logic programming
02020-11-06 (updated 02020-12-31) (27 minutes)
Truth table search
02020-12-09 (11 minutes)