irfansharif / solver
SAT solver library in Go; wraps around Google's Operational Research Tools
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for solver
- The most user friendly dependency injection library for go☆12Updated 3 months ago
- Go bindings for GLPK (GNU Linear Programming Kit)☆36Updated 6 years ago
- Go wrapper for Google's ortools☆10Updated 6 years ago
- Go bindings for LPSolve, a Mixed Integer Linear Programming (MILP) solver☆78Updated 3 months ago
- A fast, tested, and predictable way to clean, aggregate, and transform data☆34Updated 5 years ago
- Generative Adversarial Network in Go via Gorgonia☆86Updated 2 years ago
- 64-bit Roaring Bitmaps in Go☆51Updated last year
- Phonetic encoders - bmpm, caverphone, soundex, metaphone☆18Updated last year
- Metaheuristics / Blackbox Optimization Algorithms for Go: Simulated Annealing, Genetic Algorithm, Ant Colony Optimization, Tabu Search, P…☆54Updated 2 years ago
- Discrete-event simulation in Go using goroutines☆27Updated this week
- doc2vec , word2vec, implemented by golang. word embedding representation☆41Updated 6 years ago
- Efficient for-loop retries in Go☆18Updated 2 years ago
- Simple internal event bus for Go applications☆28Updated last year
- Intel® Generic Implementation of GraphBLAS* for Go*☆21Updated 6 months ago
- WIP on a go library for Google's Operational Research Tools☆8Updated last year
- golang persistent immutable treap sorted sets☆27Updated 4 years ago
- Go code to help create various charts, e.g. C3, D3, Rickshaw, go-chart, etc.☆49Updated this week
- Constraint Satisfaction Problem Solver for Golang☆60Updated 2 years ago
- A rolling, append-only, local and remote data stream library for Go☆22Updated last year
- ☆34Updated 2 years ago
- Concurrent, sequential, functional transformations along Golang channels.☆24Updated 10 years ago
- Dependency resolution based on topological sort of a directed graph (for arbitrary types)☆12Updated 4 months ago
- Programming with Spaces in Go☆11Updated 6 years ago
- ☆18Updated 3 years ago
- In memory cache server with query capabilities☆24Updated last year
- A Go library of functional-style generic filter-map-reduce operations☆19Updated 4 months ago
- Ensembles of decision trees in go/golang.☆15Updated 4 years ago
- A Stream VByte implementation in Go leveraging SIMD techniques☆16Updated 3 years ago
- A library for doing Bayesian Optimization using Gaussian Processes (blackbox optimizer) in Go/Golang.☆50Updated 5 months ago