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
- A ngram indexing implement in Go☆12Oct 13, 2022Updated 3 years ago
- GNU Recutils database support for Go.☆14Apr 6, 2024Updated 2 years ago
- 🗞️ (Possibly) Naïve thoughts regarding Go.☆12Jun 6, 2026Updated last month
- ☆14Mar 18, 2025Updated last year
- 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.
- [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 new PagerDuty agent.☆13Updated this week
- Batteries included NATS Jetstream Go client☆11Aug 17, 2023Updated 2 years ago
- Ethereum stateless book☆17May 18, 2026Updated 2 months 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
- XGBoost inference with Golang.☆38Oct 20, 2023Updated 2 years ago
- Stress Testing ZK Systems Through Maximum Pain☆28Jan 28, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Database Viewer for SQLite, MySQL, PostgreSQL, designed for BigData analysis☆12Apr 20, 2019Updated 7 years ago
- WebGPU signed distance field physics engine☆30Jul 2, 2023Updated 3 years ago
- Statistical modeling in Go☆14May 19, 2021Updated 5 years ago
- An implementation of a HAMT using ipld☆30Jul 14, 2026Updated last week
- 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
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 8 years ago
- Command Line Accounting & Invoicing Tool☆13Mar 3, 2026Updated 4 months ago
- Open source SLDP player based on WebCodecs☆20Jul 12, 2026Updated last week
- 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.
- Extract raw text from PDF files☆30Sep 7, 2018Updated 7 years ago
- PoC public chat on top of Algorand TestNet☆20Sep 26, 2019Updated 6 years ago
- Golang based app that will render an html page and create a pdf.☆27Aug 29, 2024Updated last year
- nostr chat☆11May 10, 2023Updated 3 years ago
- 基于 purego 直接绑定并调用 onnxruntime 原生库接口，无需依赖 CGO 编译环境，即可实现 ONNX 模型的加载与推理计算☆21Feb 18, 2026Updated 5 months ago
- Community Graphics Generator☆16Updated this week
- Stateless Ethereum block validation☆26Updated this week
- doc2vec , word2vec, implemented by golang. word embedding representation☆42Feb 25, 2026Updated 4 months ago
- Go Based Lightweight RAG / LLM Tool with CLI + API☆14Sep 28, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Harden Kasm Workspaces deployments with DISA STIGs☆21Updated this week
- A Filecoin Network sidecar for storage providers to bid in storage deal auctions.☆30Nov 24, 2022Updated 3 years ago
- Docker image with wine/wine-staging☆19Jul 12, 2026Updated last week
- Constraint Satisfaction Problem Solver for Golang☆76Jul 11, 2022Updated 4 years ago
- 国家统计局中国省市县乡村5级地址抓取，http://www.stats.gov.cn/tjsj/tjbz/tjyqhdmhcxhfdm/2018/index.html☆12Jan 8, 2020Updated 6 years ago
- A space invaders arcade cabinet frontend for the 21st century 8080 microprocessor☆11Mar 14, 2023Updated 3 years ago
- Wi-Fi and BT drivers packaged for integration into 3rd party repositories. Work in progress.☆24Mar 31, 2026Updated 3 months ago