SAT solver library in Go; wraps around Google's Operational Research Tools
☆26Apr 19, 2023Updated 3 years ago
Alternatives and similar repositories for solver
Users that are interested in solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WIP on a go library for Google's Operational Research Tools☆11Jul 6, 2023Updated 3 years ago
- Go wrapper for Google's ortools☆10Nov 29, 2017Updated 8 years ago
- Go bindings for LPSolve, a Mixed Integer Linear Programming (MILP) solver☆93Jul 21, 2025Updated last year
- A ngram indexing implement in Go☆11Oct 13, 2022Updated 3 years ago
- Automatic Lotus docker image building☆11Oct 19, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🗞️ (Possibly) Naïve thoughts regarding Go.☆12Jun 6, 2026Updated 4 months ago
- Generalized Mixed Integer Optimization in Go☆22Nov 29, 2021Updated 4 years ago
- Go bindings for GLPK (GNU Linear Programming Kit)☆36Mar 3, 2018Updated 8 years ago
- Go language bindings for the COIN-OR Linear Programming library☆48Nov 8, 2022Updated 3 years ago
- 2022年华为软件精英赛初赛☆11Apr 2, 2022Updated 4 years ago
- A declarative, SQL-like DSL for data integration tasks.☆14Jul 4, 2018Updated 8 years ago
- ☆17Updated this week
- Hot-plug devices into a Docker container as they are plugged.☆16Aug 10, 2026Updated 2 months ago
- pure golang rdp protocol☆32Sep 12, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Ethereum stateless book☆16May 18, 2026Updated 4 months ago
- Batteries included NATS Jetstream Go client☆11Aug 17, 2023Updated 3 years ago
- Angular wrapper for the Leaflet-Sidebar-v2 control☆10Feb 12, 2023Updated 3 years ago
- High-level Rust library that binds to Poppler to extract text from a PDF☆11Dec 16, 2020Updated 5 years ago
- XGBoost inference with Golang.☆38Oct 20, 2023Updated 2 years ago
- Sift client libraries and protocol buffers☆21Oct 2, 2026Updated last week
- Implementation of the DenStream algorithm in Python.☆11Nov 24, 2025Updated 10 months ago
- WebGPU signed distance field physics engine☆31Jul 2, 2023Updated 3 years ago
- Simplistic Smalltalk code interpreter written in Golang.☆16Nov 24, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- If-then validation rules for Yii2 Framework☆14Dec 2, 2014Updated 11 years ago
- Reveal animations when elements are within the viewport (on load, scroll and resize). WOW.js alternative with MIT license.☆13Mar 16, 2016Updated 10 years ago
- ☆10May 30, 2024Updated 2 years ago
- ☆16Dec 17, 2025Updated 9 months ago
- PoC public chat on top of Algorand TestNet☆20Sep 26, 2019Updated 7 years ago
- ☆13May 6, 2025Updated last year
- Golang based app that will render an html page and create a pdf.☆27Aug 29, 2024Updated 2 years ago
- yii 2 validators☆14Nov 19, 2018Updated 7 years ago
- Code for SIGKDD2025 paper: An Efficient Diffusion-based Non-Autoregressive Solver for Traveling Salesman Problem☆15Jan 28, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- doc2vec , word2vec, implemented by golang. word embedding representation☆42Feb 25, 2026Updated 7 months ago
- nostr chat☆11May 10, 2023Updated 3 years ago
- Go Based Lightweight RAG / LLM Tool with CLI + API☆14Sep 28, 2023Updated 3 years ago
- http://sourceforge.net/projects/phpqrcode/☆14Mar 5, 2017Updated 9 years ago
- WIP connectrpc client/server in python☆29Jul 1, 2024Updated 2 years ago
- Constraint Satisfaction Problem Solver for Golang☆77Jul 11, 2022Updated 4 years ago
- Wi-Fi and BT drivers packaged for integration into 3rd party repositories. Work in progress.☆24Sep 4, 2026Updated last month