go-air / gini
A fast SAT solver
☆148Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for gini
- gophersat, a SAT solver in Go☆371Updated 4 months ago
- SAT solver written in Go (golang).☆136Updated 7 years ago
- Go (golang) bindings to the Z3 SMT Solver☆141Updated 2 years ago
- Go static program analyser☆58Updated 4 years ago
- Painless polymorphism☆126Updated 7 years ago
- convert from a Go AST to JSON☆42Updated 3 years ago
- A library operating system for Go☆189Updated 8 years ago
- Static analyser for finding Deadlocks in Go☆316Updated last year
- Gong liveness and channel safety checker☆30Updated 6 years ago
- LLVM bindings for the Go programming language☆219Updated 3 years ago
- A generic fuzzing and delta-debugging framework☆245Updated 6 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆39Updated 2 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆165Updated 5 years ago
- goast is a Go AST utility with the aim of providing idiomatic meta-programming facilities for Go.☆135Updated 5 years ago
- Reduce Go programs☆216Updated 7 months ago
- Go (golang) bindings for Picosat, the satisfiability solver☆15Updated 6 years ago
- Go implementation of Melissa O'Neill's excellent PCG pseudorandom number generator☆59Updated 2 years ago
- Automatically exported from code.google.com/p/gosmith☆51Updated 8 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 10 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆153Updated 5 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆89Updated 2 years ago
- tool for detecting unused functions and variables in Go source code☆141Updated 5 years ago
- Go tool to walk & rewrite AST☆171Updated 4 years ago
- Bindings for the Z3 SMT solver☆29Updated 2 years ago
- Generics for go☆114Updated 10 years ago
- Generate Go bindings for Clang's C API☆44Updated 2 years ago