An open API service indexing awesome lists of open source software.

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

Awesome Lists containing this project