PROGRAMS BY knave.sf.net

Implement Robin Hanson's "simple combinatorial information market maker", specifically for rapid and reliable solution of "knights and knaves" puzzles. This toy domain makes development easier, and the sco