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:
- github.com/cznic/ccir has moved to modernc.org/ccir☆29Updated 6 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- A simple go REPL building on top of the go-interactive expression evaluator☆42Updated 10 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- Simple Ray Tracer written in Go.☆117Updated 8 years ago
- Probabilistic Multiplicity Counting☆49Updated 9 years ago
- A simple library for querying the AST of a Go program☆10Updated 10 years ago
- A Trie data structure that allows for fuzzy string matching☆11Updated 10 years ago
- github.com/cznic/cc has moved to modernc.org/cc☆163Updated 6 years ago
- A LAPACK implementation for Go [DEPRECATED]☆68Updated 6 years ago
- Go implementation of BLAS (Basic Linear Algebra Subprograms)☆157Updated 6 years ago
- Set of tools for computing derivatives of a function [DEPRECATED]☆23Updated 6 years ago
- DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.☆53Updated 8 years ago
- Implementing a path tracer in Go☆86Updated 5 years ago
- Twik is a tiny embedding language for Go.☆32Updated 9 years ago
- a data flow graphical programming language for data science☆37Updated 9 years ago
- A generic fuzzing and delta-debugging framework☆247Updated 6 years ago
- Programming Language Classifier☆23Updated 10 years ago
- Go package safefile implements safe "atomic" saving of files.☆82Updated last year
- a WebSocket-aware SSL-capable HTTP reverse proxy/load balancer☆137Updated 13 years ago
- Packages for solving minimization problems [DEPRECATED]☆67Updated 6 years ago
- A BLAS implementation for Go [DEPRECATED]☆171Updated 6 years ago
- Store go test bench data in a database☆30Updated 9 years ago
- A Golang interpreter, built upon golang.org/x/tools/go/ssa/interp☆58Updated 8 years ago
- a library exposing Go's channels and goroutines to plain C☆66Updated 6 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
- an exhaustive sequence pattern search tool☆56Updated last year
- Sample on how to transpile a small subset of go to Arduino sketches☆48Updated 9 years ago
- A fast SAT solver☆152Updated 4 years ago
- Generate datastructures for your types.☆77Updated 5 years ago