ruby binding for MiniSat, which is an open-source SAT solver
☆18Oct 10, 2025Updated last year
Alternatives and similar repositories for ruby-minisat
Users that are interested in ruby-minisat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- concov helps you comprehend continuous changes of coverage.☆17Dec 7, 2009Updated 16 years ago
- rirb (remote irb) allows you to attach a running ruby process and to observe/modify global states via an irb prompt.☆12Oct 22, 2008Updated 18 years ago
- Super cool gem that can calculate like this; (50['L/min'] + 3['m3/hr'] ) * 30['min'] #=> 3000 L☆11May 11, 2018Updated 8 years ago
- enumerabler enhances Enumerable with methods returning enumerator.☆12Nov 11, 2009Updated 16 years ago
- 1234567890 allows you to write Ruby script by using only numbers.☆23Mar 13, 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.
- Rails 5 で作る RESTful API 速習会☆13Apr 21, 2017Updated 9 years ago
- t_wada AA formatter for SimpleCov code coverage tool☆11Aug 25, 2017Updated 9 years ago
- npm install or bower install if package.json changed, when git pull☆13May 18, 2025Updated last year
- ease to use Font Awesome via RubyMotion☆37Mar 4, 2013Updated 13 years ago
- repository_from_sqlboiler can be generated Repository Pattern Go source code for from sqlboiler's generated Go code.☆11Sep 1, 2026Updated 2 months ago
- Paging viewcontroller with top tab bar.☆11Feb 19, 2017Updated 9 years ago
- This library provides MessagePack-RPC via HTTP☆10Jul 6, 2020Updated 6 years ago
- Last library of 平成.☆10Apr 30, 2019Updated 7 years ago
- This gem provides a function that you changes css files, apply changes into your application that uses Pixate Framework / Pixate Freesty…☆10Feb 25, 2014Updated 12 years 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.
- RubyMotion wrapper for Auto Layout on iOS and OS X☆11Dec 2, 2017Updated 8 years ago
- A hackable markdown editor for OS X☆11Mar 29, 2014Updated 12 years ago
- ☆13Nov 9, 2020Updated 5 years ago
- Example of authentication via Auth0 for react-admin☆11Sep 20, 2020Updated 6 years ago
- Jasmine reporter that reports a result in TAP format☆10Apr 21, 2012Updated 14 years ago
- ☆25May 2, 2013Updated 13 years ago
- ☆21Feb 8, 2018Updated 8 years ago
- Xcode utility for reading and writing pbxproj file format.☆15Dec 25, 2016Updated 9 years ago
- ☆11Dec 1, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A RubyMotion wrapper for the NSNetService (Bonjour)☆23Mar 29, 2013Updated 13 years ago
- ☆14Jun 4, 2013Updated 13 years ago
- Async I/O using Ruby Fiber☆42Jun 25, 2017Updated 9 years ago
- passerelle: A universal library enabling seamless navigation between SPAs via an embedded portal. Track and manage URL hash changes acros…☆11May 14, 2026Updated 5 months ago
- n-wise coverage tool for combinatorial testing☆11Sep 7, 2019Updated 7 years ago
- https://qiita.com/ohs30359-nobuhara/items/bdc06b2db1bef7af2439☆11Feb 28, 2023Updated 3 years ago
- sample code for grpc-gateway study #grpc_gateway_wt☆10Sep 17, 2026Updated last month
- mohair is a simple and flexible sql builder with a fluent interface☆13Jan 19, 2015Updated 11 years ago
- Astah Script Plugin☆13Feb 13, 2025Updated last year
- 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.
- A synchronization tool for microservices.☆17Mar 4, 2026Updated 7 months ago
- Clone a repository (that is hosted on GitHub) automatically just by accessing repository page by Chrome☆15Jul 11, 2016Updated 10 years ago
- Parse `git diff` into patches and lines.☆33Nov 4, 2021Updated 4 years ago
- a boilerplate removal algorithm☆12Mar 22, 2016Updated 10 years ago
- constructor is generated Constructor for struct.☆18Dec 21, 2022Updated 3 years ago
- ☆15Mar 23, 2015Updated 11 years ago
- Japanese pTeX Manual☆22Aug 12, 2026Updated 2 months ago