Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with logical-solvers

A curated list of projects in awesome lists tagged with logical-solvers .

https://github.com/uhop/yopl

No dependency mini-library: rule-based logical solvers.

logical-programming logical-solvers prolog-implementation

Last synced: 20 Oct 2024