crillab / gophersatLinks
gophersat, a SAT solver in Go
☆377Updated 11 months ago
Alternatives and similar repositories for gophersat
Users that are interested in gophersat are comparing it to the libraries listed below
Sorting:
- A fast SAT solver☆148Updated 3 years ago
- SAT solver written in Go (golang).☆139Updated 8 years ago
- Experimental channel implementation☆311Updated 8 years ago
- Lex machinary for go.☆411Updated 2 years ago
- A generic fuzzing and delta-debugging framework☆246Updated 6 years ago
- A Go library implementing an FST (finite state transducer)☆508Updated 2 years ago
- An experimental computer algebra system written in Go☆398Updated 6 months ago
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆286Updated 3 years ago
- Optimal Quantile Approximation in Streams☆163Updated 2 years ago
- Package verifier provides simple defensive programing primitives.☆267Updated 5 years ago
- Experimental visual Go environment☆464Updated 4 years ago
- A single / multi layer / recurrent neural network written in Golang.☆168Updated 6 years ago
- Static analyser for finding Deadlocks in Go☆320Updated last year
- Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.☆284Updated 2 years ago
- Graph packages for the Go language [DEPRECATED]☆251Updated 6 years ago
- Reduce Go programs☆216Updated last year
- A library operating system for Go☆186Updated 8 years ago
- A Go implementation of Git functions☆347Updated 7 years ago
- Painless polymorphism☆126Updated 8 years ago
- ☆859Updated 4 years ago
- Grind polishes Go programs.☆458Updated 5 years ago
- Go implementation of CSS flexbox layout algorithm, port of Facebook's Yoga☆336Updated 7 years ago
- Reed-Solomon forward error correcting library☆195Updated last year
- Go Doctor - The Golang Refactoring Engine☆446Updated 3 months ago
- Corpus of interesting Go code☆194Updated 8 years ago
- Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)☆900Updated 4 months ago
- Go (golang) bindings to the Z3 SMT Solver☆144Updated 2 years ago
- Golang benchmarks used for optimizing code☆327Updated 2 months ago
- scripting language integrated with Go☆917Updated 5 years ago
- A golang library that implements load balancing algorithms.☆363Updated 7 years ago