https://github.com/namin/clpsmt-minikanren
CLP(SMT) on top of miniKanren
https://github.com/namin/clpsmt-minikanren
constraints logic-programming minikanren scheme smt
Last synced: 12 days ago
JSON representation
CLP(SMT) on top of miniKanren
- Host: GitHub
- URL: https://github.com/namin/clpsmt-minikanren
- Owner: namin
- License: mit
- Created: 2018-04-12T14:14:59.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2022-02-26T23:54:05.000Z (over 3 years ago)
- Last Synced: 2025-09-23T18:40:28.286Z (27 days ago)
- Topics: constraints, logic-programming, minikanren, scheme, smt
- Language: Scheme
- Homepage:
- Size: 332 KB
- Stars: 38
- Watchers: 6
- Forks: 8
- Open Issues: 5