https://github.com/philzook58/prologsolvers

Copies of prolog solvers for use from python
https://github.com/philzook58/prologsolvers

Last synced: 8 months ago
JSON representation

Copies of prolog solvers for use from python

• Host: GitHub
• URL: https://github.com/philzook58/prologsolvers
• Owner: philzook58
• Created: 2024-06-30T19:39:08.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-07-08T18:06:26.000Z (over 1 year ago)
• Last Synced: 2025-02-25T07:47:42.003Z (8 months ago)
• Language: Prolog
• Size: 141 KB
• Stars: 17
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Prolog Solvers

These are prolog solvers wrapped to be more easily callable from python. Rights reserved by original authors.

- trs 

- leancop 

- setlog  

- sat/smt 

-

todo

- leantap

- ileancop

- nanocop-m i etc

- Resolution

- 

- PTTP

- PRESS 

- Recent prolog verification 

- SATCHMO

- g4ip

- 

- CHR stuff? 

Packages for swi

- clpb

- clp(fd)

- s(CASP) 

- reif 

- 

- 

- 

- 

-  aleph inductive logic programming

- tabling

-

See also:

- picat

- clingo

- minizinc

- minikaren with constraints