go-air

icon indicating a website link https://go-air.github.io

icon location France icon location ⊧ Analysis and verification tools for and in Go. ⊧

Results 3 repositories owned by go-air

gini

148
Stars
16
Forks
Watchers

A fast SAT solver

verified publisher icon go-air

reach

22
Stars
3
Forks
Watchers

symbolic reachability checker

verified publisher icon go-air

dupi

16
Stars
3
Forks
Watchers

A tool to find all duplicates in large sets of text documents.

verified publisher icon go-air