SAT solver library in Go; wraps around Google's Operational Research Tools
☆27Apr 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
- Automatic Lotus docker image building☆11Oct 19, 2021Updated 5 years ago
- Generalized Mixed Integer Optimization in Go☆22Nov 29, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Mar 9, 2018Updated 8 years ago
- GNU Recutils database support for Go.☆14Apr 6, 2024Updated 2 years ago
- A declarative, SQL-like DSL for data integration tasks.☆14Jul 4, 2018Updated 8 years ago
- 2022年华为软件精英赛初赛☆11Apr 2, 2022Updated 4 years ago
- A hash.Hash implementation of fil-commitment-unsealed☆10Oct 2, 2026Updated 3 weeks ago
- [DEPRECATED] Official Textile Desktop Tray App☆17Jun 6, 2020Updated 6 years ago
- Go bindings for GLPK (GNU Linear Programming Kit)☆36Mar 3, 2018Updated 8 years ago
- A Go implementation of "An O(NP) Sequence Comparison Algorithm"☆16Sep 5, 2026Updated last month
- OpenTracing example☆14Aug 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- A Multiobjective Genetic Algorithm for Assembly Line Balancing Problem with Worker Allocation☆10Aug 6, 2021Updated 5 years ago
- Constraint Satisfaction Problem Solver for Golang☆77Jul 11, 2022Updated 4 years ago
- HARP - the Golang HTTP AutoRegister Reverse Proxy☆13Updated this week
- A O(1) URL shortener microservice backed by redis and gRPC communication.☆34Jan 9, 2019Updated 7 years ago
- Binary decision diagram library (Lua)☆16May 24, 2015Updated 11 years ago
- a simple telemetry server written in Node.js☆11Nov 14, 2013Updated 12 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- A golang background job queue that uses optimized database lock for reliability and speed.☆17Apr 27, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- When can we meet? Scheduling a meeting etc. Llinked Data Platform interactive social app☆13Jan 27, 2018Updated 8 years ago
- Angular wrapper for the Leaflet-Sidebar-v2 control☆10Feb 12, 2023Updated 3 years ago
- Solod by example☆20Oct 9, 2026Updated 3 weeks ago
- Code for the ICLR 2025 paper: Reinforcement learning with combinatorial actions for combinatorial restless bandits☆11Mar 7, 2025Updated last year
- Efficient on-the-fly Merkle Tree implementation☆16Nov 21, 2025Updated 11 months ago
- pure golang rdp protocol☆33Sep 12, 2026Updated last month
- Batteries included NATS Jetstream Go client☆11Aug 17, 2023Updated 3 years ago
- If-then validation rules for Yii2 Framework☆14Dec 2, 2014Updated 11 years ago
- Interview Cake problems☆15Mar 18, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- (Not maintained) Short and Sweet UI interactions in JS and Coffee☆14May 8, 2015Updated 11 years ago
- The OpenVPN4UCS Package☆11Jul 3, 2026Updated 3 months ago
- ATAK plugin that loads unsigned/signature-rejected plugins by bypassing AtakPluginRegistry verification☆16Apr 26, 2026Updated 6 months ago
- Detecting cars on video using DetectNet and Digits☆11May 29, 2018Updated 8 years ago
- Evaluate various supervised learning methods to predict cohesive energies of solids (kernel ridge regression is the best)☆11Jul 18, 2014Updated 12 years ago
- Customized version of rrsync script bundled with rsync (restricted rsync)☆11Sep 14, 2013Updated 13 years ago
- ☆12Dec 31, 2025Updated 9 months ago