https://github.com/rwehresmann/prolog-programs

Puzzle solvers and other utilities developed with Prolog.

boolean-satisfability coins-problem prolog solvers swi-prolog truth-table

Last synced: 29 Jan 2026