#

go-z3

Here are 2 public repositories matching this topic...

bunji2 / practiceofdsl

Practice of DSL (described in Japanese)

golang dsl ast z3 domain-specific-language smt-solver abstract-syntax-tree go-z3

Updated Apr 30, 2020
Go

bunji2 / smtrun

smtrun (described in Japanese)

golang front-end z3 smt smt-solver go-z3

Updated Mar 17, 2020
Go

Improve this page

Add a description, image, and links to the go-z3 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the go-z3 topic, visit your repo's landing page and select "manage topics."