Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
bench.txt		bench.txt
sample.smt2		sample.smt2
smt.erl		smt.erl
smt_lexer.xrl		smt_lexer.xrl
smt_parser.yrl		smt_parser.yrl
test_smt.erl		test_smt.erl
z3erl.erl		z3erl.erl

Repository files navigation

z3erl-terms

A translation of Erlang terms to Z3 Hello

About

A translation of Erlang terms to Z3

Report repository

Releases

No releases published

Packages

No packages published

Languages