A webapp to generate solutions for a lot of statement-logic related things
chol.foo/logic
A webapp to generate solutions for a lot of boolean logic related things