wkschwartz / pigosatLinks
Go (golang) bindings for Picosat, the satisfiability solver
☆17Updated 7 years ago
Alternatives and similar repositories for pigosat
Users that are interested in pigosat are comparing it to the libraries listed below
Sorting:
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- Probabilistic Multiplicity Counting☆49Updated 9 years ago
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 6 years ago
- an exhaustive sequence pattern search tool☆57Updated last year
- A Trie data structure that allows for fuzzy string matching☆11Updated 10 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Updated 10 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆158Updated 6 years ago
- DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.☆53Updated 9 years ago
- Programming Language Classifier☆23Updated 10 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- A LAPACK implementation for Go [DEPRECATED]☆68Updated 6 years ago
- bufferManager demonstrates a technique to decrease pressure on GC in Go.☆38Updated 11 years ago
- Simple Ray Tracer written in Go.☆117Updated 8 years ago
- A simple go REPL building on top of the go-interactive expression evaluator☆42Updated 10 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Updated 6 years ago
- Search engine postings list with support for compresison☆11Updated 8 years ago
- auto-generate capnproto schema from your golang source files. Depends on go-capnproto-1.0 at https://github.com/glycerine/go-capnproto☆64Updated 8 years ago
- ☆11Updated 3 years ago
- Sample on how to transpile a small subset of go to Arduino sketches☆48Updated 9 years ago
- A Go library for space-efficient rank/select operations for both sparse and dense bit arrays.☆37Updated 5 years ago
- Overhead of Go's generic sort☆36Updated 8 years ago
- hokusai -- sketching streams in real-time☆77Updated 8 years ago
- Generate code for any language, with any language.☆66Updated 7 years ago
- repackage the golang elliptic library enhancements by Vlad Krasnov and Shay Gueron as a stand alone library. Works with Go 1.4 or Go 1.5.☆35Updated 10 years ago
- LogLog based Cardinality Estimator☆63Updated 7 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- Automatic codegen for encoding/binary marshaling☆17Updated 10 years ago
- HyperLogLog++ for Go☆43Updated 7 years ago