SWI-Prolog
Lion and Unicorn with Prolog SAT Solver
Example
how-to
jan
Split this topic
November 20, 2023, 2:37pm
31
3 posts were split to a new topic:
Benchmarking
show post in topic
Related Topics
Topic
Replies
Views
Activity
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