go-air / gini
A fast SAT solver
☆147Updated 3 years ago
Alternatives and similar repositories for gini:
Users that are interested in gini are comparing it to the libraries listed below
- SAT solver written in Go (golang).☆139Updated 8 years ago
- gophersat, a SAT solver in Go☆373Updated 9 months ago
- Go (golang) bindings to the Z3 SMT Solver☆143Updated 2 years ago
- Go static program analyser☆58Updated 4 years ago
- An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)☆94Updated 2 years ago
- A generic fuzzing and delta-debugging framework☆246Updated 6 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- A library operating system for Go☆187Updated 8 years ago
- symbolic reachability checker☆23Updated 3 years ago
- toy minikanren impl in Go lang☆57Updated 11 years ago
- Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers☆197Updated last year
- Goof (Go Object Finder) is a package that does the unthinkable to your binary☆153Updated 10 months ago
- Painless polymorphism☆126Updated 8 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- tool for detecting unused functions and variables in Go source code☆141Updated 5 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- Reduce Go programs☆216Updated last year
- LLVM bindings for the Go programming language☆217Updated 4 years ago
- Build recursive descent parsers☆104Updated 2 years ago
- Fast division, modulus and divisibility checks in Go for divisors known only at runtime.☆115Updated 6 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆177Updated last week
- Static analyser for finding Deadlocks in Go☆319Updated last year
- Goose converts a subset of Go to Rocq☆113Updated this week
- Document mathematical Go code beautifully☆202Updated last year
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆39Updated 3 years ago
- Package mafsa implements Minimal Acyclic Finite State Automata in Go, essentially a high-speed, memory-efficient, Unicode-friendly set of…☆296Updated 5 years ago