irfansharif / solver
SAT solver library in Go; wraps around Google's Operational Research Tools
☆25Updated last year
Alternatives and similar repositories for solver:
Users that are interested in solver are comparing it to the libraries listed below
- Genetic Algorithm and Particle Swarm Optimization☆33Updated 3 years ago
- A Go Machine Learning Package that is a light wrapper for LightGBM.☆36Updated last year
- Go bindings for GLPK (GNU Linear Programming Kit)☆36Updated 6 years ago
- A Stream VByte implementation in Go leveraging SIMD techniques☆16Updated 3 years ago
- Quad/Triple formats support for Go.☆26Updated 6 months ago
- Metaheuristics / Blackbox Optimization Algorithms for Go: Simulated Annealing, Genetic Algorithm, Ant Colony Optimization, Tabu Search, P…☆54Updated 2 years ago
- In memory cache server with query capabilities☆26Updated last year
- A fast URL parser for Go☆37Updated last year
- Generic, zero-alloc, 100%-test covered Quadtree for golang☆37Updated last year
- Discrete-event simulation in Go using goroutines☆30Updated last week
- Ledger implementation in golang☆35Updated 6 years ago
- Intel® Generic Implementation of GraphBLAS* for Go*☆21Updated 8 months ago
- A go database/sql driver for csvq☆71Updated last year
- 64-bit Roaring Bitmaps in Go☆52Updated 2 years ago
- Go implementation of the JWZ email threading algorithm☆29Updated last year
- TopN collector☆23Updated 7 months ago
- Package deque implements a very fast and efficient general purpose queue/stack/deque data structure that is specifically optimized to per…☆46Updated last year
- A LabVIEW and TensorFlow Inspired Graph-Based Programming Environment for AI handled within the Go Programming Language.☆31Updated 8 years ago
- WIP on a go library for Google's Operational Research Tools☆8Updated last year
- Go wrapper for Google's ortools☆10Updated 7 years ago
- Software Transactional Memory in Go☆80Updated 2 years ago
- Andrej Karpathy's Micrograd in Go☆53Updated 6 months ago
- Go library that implements fs.FS for Postgres using Large Objects.☆61Updated last year
- Embedded durable, extensive, concurrent safe, highly configurable, transactional LSM tree based key-value store package☆33Updated 3 months ago
- Generative Adversarial Network in Go via Gorgonia☆86Updated 2 years ago
- Simple Go library for executing lots of operations spread over any number of threads☆73Updated last year
- A library that implements a family of low-level tools to build persistent messaging systems.☆12Updated 3 years ago
- livegollection is a Golang library for live data synchronization between backend and frontend of a custom user-implemented collection. It…☆23Updated 2 years ago
- Random Forest implementation in golang☆48Updated 11 months ago
- golang persistent immutable treap sorted sets☆27Updated 5 years ago