z3gi

Grammatical inference using the Z3 SMT solver

Installation

sudo pip3 install z3gi

Should I use sudo? pip or pip3?

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
Files
0.1.1 2017-04-11

Issues with this package?

Page last updated 2022-08-04 01:59:02 UTC