PyPI page
Home page
Author:
pierre.carbonnelle
License:
GNU LGPL 3
Summary:
IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Latest version:
0.7.3
Required dependencies:
click
|
pretty-errors
|
sphinxcontrib-mermaid
|
textx
|
z3-solver
Downloads last day:
3
Downloads last week:
13
Downloads last month:
38