Lion and Unicorn with Prolog SAT Solver

jan Split this topic November 20, 2023, 2:38pm 34

2 posts were merged into an existing topic: Benchmarking

Topic		Replies	Views
Resolution Prover? Help!	0	1090	April 25, 2021
A logical puzzle Help!	2	378	June 22, 2022
Modeling symbolic puzzles General	22	895	May 24, 2023
Specifying a simple puzzle in CLP Help! discussion , how-to , clp , clpfd	4	2131	May 1, 2021
QCM in prolog Help!	10	480	February 24, 2020