wkschwartz / pigosatLinks
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
Sorting:
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 7 years ago
- Probabilistic Multiplicity Counting☆49Updated 10 years ago
- DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.☆54Updated 9 years ago
- bufferManager demonstrates a technique to decrease pressure on GC in Go.☆38Updated 11 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆158Updated 6 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 7 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Updated 7 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 7 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Updated 10 years ago
- Implementing a path tracer in Go☆87Updated 6 years ago
- a data flow graphical programming language for data science☆37Updated 9 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Store go test bench data in a database☆30Updated 9 years ago
- an exhaustive sequence pattern search tool☆57Updated last week
- notes about stuff☆39Updated 9 years ago
- d-left Counting Bloom Filter☆56Updated 10 years ago
- Search engine postings list with support for compresison☆11Updated 8 years ago
- Simple Ray Tracer written in Go.☆117Updated 8 years ago
- An adapter to enable the Schwartzian Transform when sorting in Go.☆16Updated 10 years ago
- Programming Language Classifier☆23Updated 10 years ago
- A Go library for space-efficient rank/select operations for both sparse and dense bit arrays.☆37Updated 5 years ago
- A Golang interpreter, built upon golang.org/x/tools/go/ssa/interp☆58Updated 8 years ago
- S-Bitmap: Distinct Counting with a Self-Learning Bitmap☆37Updated 10 years ago
- amd64 optimized bit operations☆41Updated 7 years ago
- A LAPACK implementation for Go [DEPRECATED]☆68Updated 7 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 7 years ago
- libXml binding for go.☆27Updated 10 years ago
- A simple go REPL building on top of the go-interactive expression evaluator☆42Updated 10 years ago