wkschwartz / pigosat
Go (golang) bindings for Picosat, the satisfiability solver
☆16Updated 7 years ago
Alternatives and similar repositories for pigosat:
Users that are interested in pigosat are comparing it to the libraries listed below
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 6 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆156Updated 6 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Updated 6 years ago
- a library exposing Go's channels and goroutines to plain C☆66Updated 6 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 6 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- Temporary files and directories made easy☆28Updated 2 years ago
- Operations on slices of floats [DEPRECATED]☆56Updated 6 years ago
- a (tiny) VM project built with Go☆59Updated 8 years ago
- cmd-go-js is a "branch" of cmd/go that supports compiling to JavaScript.☆63Updated 9 years ago
- gtreap is an immutable treap implementation in the Go Language☆90Updated 3 years ago
- Internal routines for the gonum project [DEPRECATED]☆21Updated 6 years ago
- Package for converting between scientific units [DEPRECATED]☆27Updated 6 years ago
- Simple Ray Tracer written in Go.☆117Updated 8 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- Probabilistic Multiplicity Counting☆49Updated 9 years ago
- github.com/cznic/zappy has moved to modernc.org/zappy☆26Updated 6 years ago
- go language generics system☆115Updated 12 years ago
- Twik is a tiny embedding language for Go.☆32Updated 9 years ago
- ☆29Updated 5 years ago
- Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance☆17Updated 3 years ago
- HyperLogLog++ for Go☆43Updated 7 years ago
- Go package safefile implements safe "atomic" saving of files.☆81Updated last year
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Updated 9 years ago
- SAT solver written in Go (golang).☆140Updated 8 years ago
- pcg random number generator☆41Updated 3 years ago
- Go-interpreter Project Design Documents☆57Updated 6 years ago
- OpenCL bindings for Go☆48Updated 9 years ago
- High Performance Porter2 Stemmer☆46Updated 4 years ago