ruby binding for MiniSat, which is an open-source SAT solver
☆18Oct 10, 2025Updated 9 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
- ☆21Feb 8, 2018Updated 8 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.
- RubyMotion wrapper for Auto Layout on iOS and OS X☆11Dec 2, 2017Updated 8 years ago
- Japanese Translation of The Bancor Protocol Whitepaper☆18Nov 8, 2017Updated 8 years ago
- Example of authentication via Auth0 for react-admin☆11Sep 20, 2020Updated 5 years ago
- Drag the image to align it // react-sortable-hoc, react-admin☆10Jan 23, 2020Updated 6 years ago
- A RubyMotion wrapper for the NSNetService (Bonjour)☆23Mar 29, 2013Updated 13 years ago
- ☆25May 2, 2013Updated 13 years ago
- Ruby - Easy retry handling☆31Apr 5, 2019Updated 7 years ago
- Async I/O using Ruby Fiber☆42Jun 25, 2017Updated 9 years ago
- A tool for embedding Go code in a Go binary using go-bindata.☆13Aug 22, 2015Updated 10 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.
- チャットワークは死んだボットです。 チャットワークが死んだらお知らせします。 息を吹き返してもお知らせします。☆19Jun 26, 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 2 months ago
- Japanese pTeX Manual☆22Nov 29, 2025Updated 7 months ago
- high performance asynchronous rack web server☆28Jan 15, 2015Updated 11 years ago
- Clone a repository (that is hosted on GitHub) automatically just by accessing repository page by Chrome☆15Jul 11, 2016Updated 10 years ago
- Wrapper for MFMailComposeViewController for RubyMotion☆25Aug 11, 2013Updated 12 years ago
- Parse `git diff` into patches and lines.☆33Nov 4, 2021Updated 4 years ago
- ☆15Mar 23, 2015Updated 11 years ago
- Port of facon mocking library to rubymotion.☆16Apr 11, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A subclass of Object includes Comparable module for handling dates.☆131Updated this week
- 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
- Google Cloud Pub/Sub client for Ruby☆11Jun 21, 2026Updated last month
- Auto Layout in RubyMotion.☆18Dec 20, 2013Updated 12 years ago
- ☆11Aug 24, 2018Updated 7 years ago
- https://qiita.com/ohs30359-nobuhara/items/bdc06b2db1bef7af2439☆11Feb 28, 2023Updated 3 years ago
- WebSocket server implementation based on Rev☆29Jul 21, 2010Updated 15 years ago
- Jsonnet library for Ruby☆41Sep 7, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Ruby convention in esm☆12Aug 31, 2018Updated 7 years ago
- System behind Japanese Ruby reference manual☆38Updated this week
- ☆12May 19, 2015Updated 11 years ago
- Use Ruby gems and mock require statements within RubyMotion applications☆99Jul 15, 2013Updated 13 years ago
- Create enumerable functions(map, filter, some, every, reduce, reduceRight).☆16Aug 11, 2013Updated 12 years ago
- all-gem runs various versions of command provided by gem.☆10Jan 4, 2022Updated 4 years ago
- Detect your phantom dependencies(gems not in use).☆13Apr 4, 2018Updated 8 years ago