Geek Repo
⊧ Analysis and verification tools for and in Go. ⊧
Location:France
Home Page:https://go-air.github.io
Github PK Tool:Github PK Tool
A fast SAT solver
symbolic reachability checker
A tool to find all duplicates in large sets of text documents.
pointer analysis library
A bibliography of interesting works.
docker files for go-air tools and services
website
sat benchmarks