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:
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 6 years ago
- DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.☆53Updated 8 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 6 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- Internal routines for the gonum project [DEPRECATED]☆21Updated 6 years ago
- ☆29Updated 5 years ago
- Go package that implements a bit array and some utility functions☆10Updated 9 years ago
- Probabilistic Multiplicity Counting☆49Updated 9 years ago
- Package for converting between scientific units [DEPRECATED]☆27Updated 6 years ago
- ☆15Updated 7 years ago
- Go library for Chitin data file format and protocol☆11Updated 9 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Updated 6 years ago
- A Go library for space-efficient rank/select operations for both sparse and dense bit arrays.☆37Updated 4 years ago
- My sandbox for go experiments☆27Updated 5 years ago
- The Gsp Prelude and Go bindings.☆28Updated 9 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆157Updated 6 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- github.com/cznic/virtual has moved to modernc.org/virtual☆20Updated 6 years ago
- a (tiny) VM project built with Go☆59Updated 8 years ago
- A WIP toy interpreter in Go, for CPython☆29Updated 8 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- Plotting package for Go☆41Updated 6 years ago
- Overhead of Go's generic sort☆36Updated 8 years ago
- ☆11Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Port of the lemon parser generator to the Go programming language☆56Updated 3 years ago
- cmd-go-js is a "branch" of cmd/go that supports compiling to JavaScript.☆63Updated 9 years ago
- readahead is a package that provides readers that enable concurrent reads from seekable or compressed files☆135Updated 8 years ago
- bufferManager demonstrates a technique to decrease pressure on GC in Go.☆38Updated 11 years ago