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
Autumn Challenge 2023: Lion and Unicorn
Example
how-to
73
1260
July 21, 2024
CNF/DNF are built in ZDD with almost zero cost
Nice to know
38
1126
September 20, 2024
Toward ZDD library in SWI-Prolog
Discussion
95
3181
January 27, 2022
Problems while implementing DPLL algorithm
Help!
10
3975
January 4, 2020
Improving Beckert's & Posegga's in Prolog
Tools
12
1331
January 26, 2022