ruby binding for MiniSat, which is an open-source SAT solver
☆18Oct 10, 2025Updated 10 months ago
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
- Super cool gem that can calculate like this; (50['L/min'] + 3['m3/hr'] ) * 30['min'] #=> 3000 L☆11May 11, 2018Updated 8 years ago
- Rails 5 で作る RESTful API 速習会☆13Apr 21, 2017Updated 9 years ago
- 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.☆11Jul 16, 2019Updated 7 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.
- A micro-framework for exploring RESTful applications☆19Jun 12, 2020Updated 6 years ago
- Paging viewcontroller with top tab bar.☆11Feb 19, 2017Updated 9 years ago
- Last library of 平成.☆10Apr 30, 2019Updated 7 years ago
- RubyMotion wrapper for Auto Layout on iOS and OS X☆11Dec 2, 2017Updated 8 years ago
- ☆21Feb 8, 2018Updated 8 years ago
- ☆13Nov 9, 2020Updated 5 years ago
- Example of authentication via Auth0 for react-admin☆11Sep 20, 2020Updated 5 years ago
- Japanese Translation of The Bancor Protocol Whitepaper☆18Nov 8, 2017Updated 8 years ago
- Xcode utility for reading and writing pbxproj file format.☆15Dec 25, 2016Updated 9 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.
- ☆25May 2, 2013Updated 13 years ago
- A RubyMotion wrapper for the NSNetService (Bonjour)☆23Mar 29, 2013Updated 13 years ago
- Ruby - Easy retry handling☆31Apr 5, 2019Updated 7 years ago
- A tool for embedding Go code in a Go binary using go-bindata.☆13Aug 22, 2015Updated 11 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 3 months ago
- チャットワークは死んだボットです。 チャットワークが死んだらお知らせします。 息を吹き返してもお知らせします。☆19Jun 26, 2017Updated 9 years ago
- hogehogehogehoge☆15May 30, 2016Updated 10 years ago
- Clone a repository (that is hosted on GitHub) automatically just by accessing repository page by Chrome☆15Jul 11, 2016Updated 10 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.
- Wrapper for MFMailComposeViewController for RubyMotion☆25Aug 11, 2013Updated 13 years ago
- Parse `git diff` into patches and lines.☆33Nov 4, 2021Updated 4 years ago
- ☆15Mar 23, 2015Updated 11 years ago
- Converting Non-Recursive Datalog to SQL☆25Apr 1, 2026Updated 4 months ago
- Port of facon mocking library to rubymotion.☆16Apr 11, 2013Updated 13 years ago
- constructor is generated Constructor for struct.☆18Dec 21, 2022Updated 3 years ago
- high performance asynchronous rack web server☆28Jan 15, 2015Updated 11 years ago
- feathericon for Ruby on Rails☆10Mar 18, 2021Updated 5 years ago
- DeployGate (https://deploygate.com) integration for RubyMotion projects☆16Apr 9, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Google Cloud Pub/Sub client for Ruby☆11Jun 21, 2026Updated 2 months ago
- An Earley parser in C#☆10Sep 18, 2010Updated 15 years ago
- Auto Layout in RubyMotion.☆18Dec 20, 2013Updated 12 years ago
- A subclass of Object includes Comparable module for handling dates.☆131Updated this week
- ☆11Aug 24, 2018Updated 8 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- WebSocket server implementation based on Rev☆29Jul 21, 2010Updated 16 years ago