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: 9 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 6 years ago)
• Default Branch: master
• Last Pushed: 2022-02-26T23:54:05.000Z (almost 3 years ago)
• Last Synced: 2024-12-24T02:49:57.162Z (10 days ago)
• Topics: constraints, logic-programming, minikanren, scheme, smt
• Language: Scheme
• Homepage:
• Size: 332 KB
• Stars: 35
• Watchers: 7
• Forks: 8
• Open Issues: 5

Awesome Lists containing this project