Skip to content
@go-air

go-air

⊧ Analysis and verification tools for and in Go. ⊧

Pinned Loading

  1. gini Public

    A fast SAT solver

    Go 147 17

  2. reach Public

    symbolic reachability checker

    Go 23 3

  3. dupi Public

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

    Go 16 3

Repositories

Showing 9 of 9 repositories
  • dupi Public

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

    Go 16 Apache-2.0 3 0 0 Updated Sep 29, 2021
  • reach Public

    symbolic reachability checker

    Go 23 MIT 3 2 0 Updated Sep 23, 2021
  • pal Public

    pointer analysis library

    Go 7 Apache-2.0 0 9 0 Updated Sep 22, 2021
  • go-air.github.io Public

    website

    0 Apache-2.0 0 0 0 Updated Sep 22, 2021
  • satbenchmarks Public

    sat benchmarks

    0 0 0 0 Updated Sep 22, 2021
  • biblio Public

    A bibliography of interesting works.

    1 0 0 0 Updated Aug 27, 2021
  • gini Public

    A fast SAT solver

    Go 147 MIT 17 4 0 Updated Aug 26, 2021
  • .github Public
    0 0 0 0 Updated Aug 26, 2021
  • docker Public

    docker files for go-air tools and services

    Dockerfile 0 0 0 0 Updated Aug 15, 2021

Top languages

Loading…

Most used topics

Loading…