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:
- 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
- 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
- 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.
- [DEPRECATED] Official Textile Desktop Tray App☆17Jun 6, 2020Updated 6 years ago
- A declarative, SQL-like DSL for data integration tasks.☆14Jul 4, 2018Updated 8 years ago
- A Zig implementation of Poseidon2 hash function.☆19Nov 11, 2025Updated 10 months ago
- ☆15Apr 16, 2025Updated last year
- A Go implementation of "An O(NP) Sequence Comparison Algorithm"☆16Sep 5, 2026Updated 2 weeks ago
- pure golang rdp protocol☆32Sep 12, 2026Updated last week
- Ethereum stateless book☆16May 18, 2026Updated 4 months ago
- Batteries included NATS Jetstream Go client☆11Aug 17, 2023Updated 3 years ago
- Service discovery for Finagle cluster with Consul.☆10Sep 27, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- go package to generate mermaid code in an OOP way☆19Mar 17, 2024Updated 2 years ago
- Angular wrapper for the Leaflet-Sidebar-v2 control☆10Feb 12, 2023Updated 3 years ago
- Implementation of the DenStream algorithm in Python.☆11Nov 24, 2025Updated 9 months ago
- WebGPU signed distance field physics engine☆30Jul 2, 2023Updated 3 years ago
- Simplistic Smalltalk code interpreter written in Golang.☆16Nov 24, 2023Updated 2 years ago
- ☆22Jan 7, 2019Updated 7 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
- ☆16Dec 17, 2025Updated 9 months ago
- Extract raw text from PDF files☆30Sep 7, 2018Updated 8 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.
- Golang based app that will render an html page and create a pdf.☆27Aug 29, 2024Updated 2 years ago
- K-means algorithm is an unsupervised clustering algorithm that classifies the input data points into multiple classes based on their inhe…☆21Feb 19, 2017Updated 9 years ago
- doc2vec , word2vec, implemented by golang. word embedding representation☆42Feb 25, 2026Updated 6 months ago
- Go Based Lightweight RAG / LLM Tool with CLI + API☆14Sep 28, 2023Updated 2 years ago
- A tool to find all duplicates in large sets of text documents.☆16Sep 29, 2021Updated 4 years ago
- 基于 purego 直接绑定并调用 onnxruntime 原生库接口，无需依赖 CGO 编译环境，即可实现 ONNX 模型的加载与推理计算☆25Feb 18, 2026Updated 7 months ago
- Constraint Satisfaction Problem Solver for Golang☆77Jul 11, 2022Updated 4 years ago
- 国家统计局中国省市县乡村5级地址抓取，http://www.stats.gov.cn/tjsj/tjbz/tjyqhdmhcxhfdm/2018/index.html☆12Jan 8, 2020Updated 6 years ago
- Wi-Fi and BT drivers packaged for integration into 3rd party repositories. Work in progress.☆24Sep 4, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An example of using gRPC over HTTP/3 with connect-go☆34Nov 7, 2024Updated last year
- A space-efficient probabilistic data structure Bloom Filter implement by Golang☆17Aug 20, 2021Updated 5 years ago
- Dgraph Operator creates/configures/manages Dgraph clusters atop Kubernetes☆23Sep 27, 2023Updated 2 years ago
- ChatGPT-Client is a ChatGPT Client with Offical OpenAI API.☆11May 30, 2024Updated 2 years ago
- Convert any image into a Region Adjacency Graph (RAG)☆12Apr 27, 2020Updated 6 years ago
- A Go implementation of cryptographic primitives for Verkle Trees☆37Jul 24, 2024Updated 2 years ago
- a sharded store to hold large IPLD graphs efficiently, packaged as location-transparent attachable CAR files, with mechanical sympathy☆41Jun 4, 2024Updated 2 years ago