Giters

uuverifiers / autosat

Constructing automata with SAT solvers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

autosat

Constructing automata with SAT solvers

About

Constructing automata with SAT solvers

License:GNU General Public License v3.0

Languages

Language:Java 88.5%Language:Python 6.9%Language:C++ 2.0%Language:Makefile 1.5%Language:Shell 0.8%Language:HTML 0.3%