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: 4 months 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 (about 8 years ago)
- Default Branch: master
- Last Pushed: 2022-02-26T23:54:05.000Z (over 4 years ago)
- Last Synced: 2025-12-22T21:49:00.844Z (6 months ago)
- Topics: constraints, logic-programming, minikanren, scheme, smt
- Language: Scheme
- Homepage:
- Size: 332 KB
- Stars: 38
- Watchers: 5
- Forks: 8
- Open Issues: 5