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
- GNU Recutils database support for Go.☆14Apr 6, 2024Updated 2 years ago
- Automatic Lotus docker image building☆12Oct 19, 2021Updated 4 years ago
- 🗞️ (Possibly) Naïve thoughts regarding Go.☆12Jun 6, 2026Updated 2 months ago
- ☆14Mar 18, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generalized Mixed Integer Optimization in Go☆22Nov 29, 2021Updated 4 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 5 years ago
- Go language bindings for the COIN-OR Linear Programming library☆48Nov 8, 2022Updated 3 years ago
- ☆17Updated this week
- A Zig implementation of Poseidon2 hash function.☆19Nov 11, 2025Updated 8 months ago
- A maker of merkle-proofs for transaction receipts in ethereum using rust.☆15Sep 10, 2021Updated 4 years ago
- programs written in Picat☆13Jun 18, 2026Updated last month
- PAKCS: The Portland Aachen Kiel Curry system☆16Jul 17, 2026Updated 3 weeks ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- SQLite3 pivot virtual table☆36Feb 4, 2025Updated last year
- The website for the Sentient Programming Language.☆10Oct 5, 2022Updated 3 years ago
- A O(1) URL shortener microservice backed by redis and gRPC communication.☆35Jan 9, 2019Updated 7 years ago
- pure golang rdp protocol☆31Jul 17, 2026Updated 3 weeks ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- Ethereum stateless book☆16May 18, 2026Updated 2 months ago
- Batteries included NATS Jetstream Go client☆11Aug 17, 2023Updated 2 years 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.
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- ☆16Jun 9, 2026Updated 2 months ago
- Service discovery for Finagle cluster with Consul.☆10Sep 27, 2018Updated 7 years ago
- Ledger implementation in golang☆38Feb 11, 2018Updated 8 years ago
- go package to generate mermaid code in an OOP way☆19Mar 17, 2024Updated 2 years ago
- Efficient on-the-fly Merkle Tree implementation☆16Nov 21, 2025Updated 8 months ago
- XGBoost inference with Golang.☆38Oct 20, 2023Updated 2 years ago
- Stress Testing ZK Systems Through Maximum Pain☆28Jan 28, 2026Updated 6 months ago
- Interview Cake problems☆15Mar 18, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Database Viewer for SQLite, MySQL, PostgreSQL, designed for BigData analysis☆12Apr 20, 2019Updated 7 years ago
- An implementation of a HAMT using ipld☆30Aug 1, 2026Updated last week
- WebGPU signed distance field physics engine☆30Jul 2, 2023Updated 3 years ago
- Statistical modeling in Go☆14May 19, 2021Updated 5 years ago
- Simplistic Smalltalk code interpreter written in Golang.☆16Nov 24, 2023Updated 2 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 5 years ago
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago