GitHub - asvarga/5value: Generating many-valued logics with z3 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.gitignore		.gitignore
5value.py		5value.py
util.py		util.py

About

Generating many-valued logics with z3

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%