mame/ruby-minisat external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mame/ruby-minisat

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mame/ruby-minisat)

Close

mame / ruby-minisatView on GitHubMore

• External links
• Readme badge

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.

• mame / concov

  View on GitHub
  concov helps you comprehend continuous changes of coverage.
  ☆17Dec 7, 2009Updated 16 years ago
• diaphragm / ruby-numeric-with-unit

  View on GitHub
  Super cool gem that can calculate like this; (50['L/min'] + 3['m3/hr'] ) * 30['min'] #=> 3000 L
  ☆11May 11, 2018Updated 8 years ago
• Altech / rails-restful-api

  View on GitHub
  Rails 5 で作る RESTful API 速習会
  ☆13Apr 21, 2017Updated 9 years ago
• pchw / fontawesome

  View on GitHub
  ease to use Font Awesome via RubyMotion
  ☆37Mar 4, 2013Updated 13 years ago
• bannzai / TabPager

  View on GitHub
  Paging viewcontroller with top tab bar.
  ☆11Feb 19, 2017Updated 9 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• hboon / purplish-layout

  View on GitHub
  RubyMotion wrapper for Auto Layout on iOS and OS X
  ☆11Dec 2, 2017Updated 8 years ago
• vexus2 / lazy_render

  View on GitHub
  ☆21Feb 8, 2018Updated 8 years ago
• bannzai / hatena-blog

  View on GitHub
  ☆13Nov 9, 2020Updated 5 years ago
• spintech-software / react-admin-auth0-example

  View on GitHub
  Example of authentication via Auth0 for react-admin
  ☆11Sep 20, 2020Updated 5 years ago
• kentaro / Bancor_Protocol_Whitepaper_ja

  View on GitHub
  Japanese Translation of The Bancor Protocol Whitepaper
  ☆18Nov 8, 2017Updated 8 years ago
• bannzai / xcp

  View on GitHub
  Xcode utility for reading and writing pbxproj file format.
  ☆15Dec 25, 2016Updated 9 years ago
• naotokui / UITableView-pagingEnabled

  View on GitHub
  ☆25May 2, 2013Updated 13 years ago
• hiro-iseri / atestcov

  View on GitHub
  n-wise coverage tool for combinatorial testing
  ☆11Sep 7, 2019Updated 6 years ago
• fearoffish / motion-net-service

  View on GitHub
  A RubyMotion wrapper for the NSNetService (Bonjour)
  ☆23Mar 29, 2013Updated 13 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• kimoto / retry-handler

  View on GitHub
  Ruby - Easy retry handling
  ☆31Apr 5, 2019Updated 7 years ago
• monochromegane / go-bincode

  View on GitHub
  A tool for embedding Go code in a Go binary using go-bindata.
  ☆13Aug 22, 2015Updated 10 years ago
• seki / bartender

  View on GitHub
  Async I/O using Ruby Fiber
  ☆42Jun 25, 2017Updated 9 years ago
• hacomono-lib / passerelle

  View on GitHub
  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
• bannzai / SwiftLove

  View on GitHub
  hogehogehogehoge
  ☆15May 30, 2016Updated 10 years ago
• moznion / github-greedy-collector-crx

  View on GitHub
  Clone a repository (that is hosted on GitHub) automatically just by accessing repository page by Chrome
  ☆15Jul 11, 2016Updated 10 years ago
• Swatto / motion-inappmail

  View on GitHub
  Wrapper for MFMailComposeViewController for RubyMotion
  ☆25Aug 11, 2013Updated 13 years ago
• packsaddle / ruby-git_diff_parser

  View on GitHub
  Parse `git diff` into patches and lines.
  ☆33Nov 4, 2021Updated 4 years ago
• nov / motion-oauth2

  View on GitHub
  ☆15Mar 23, 2015Updated 11 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ghxiao / nrdatalog2sql

  View on GitHub
  Converting Non-Recursive Datalog to SQL
  ☆25Apr 1, 2026Updated 4 months ago
• postmanlabs / http-reasons

  View on GitHub
  Database to lookup http reasons from http response status code
  ☆10Jun 14, 2017Updated 9 years ago
• svyatogor / motion-facon

  View on GitHub
  Port of facon mocking library to rubymotion.
  ☆16Apr 11, 2013Updated 13 years ago
• kubo39 / bossan

  View on GitHub
  high performance asynchronous rack web server
  ☆28Jan 15, 2015Updated 11 years ago
• endredy / GoldMiner

  View on GitHub
  a boilerplate removal algorithm
  ☆12Mar 22, 2016Updated 10 years ago
• feathericon / feathericon-rails

  View on GitHub
  feathericon for Ruby on Rails
  ☆10Mar 18, 2021Updated 5 years ago
• Watson1978 / motion-deploygate

  View on GitHub
  DeployGate (https://deploygate.com) integration for RubyMotion projects
  ☆16Apr 9, 2024Updated 2 years ago
• dominiccooney / earley

  View on GitHub
  An Earley parser in C#
  ☆10Sep 18, 2010Updated 15 years ago
• siuying / moria

  View on GitHub
  Auto Layout in RubyMotion.
  ☆18Dec 20, 2013Updated 12 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• ohs30359-nobuhara / react-starter

  View on GitHub
  https://qiita.com/ohs30359-nobuhara/items/bdc06b2db1bef7af2439
  ☆11Feb 28, 2023Updated 3 years ago
• hanachin / thats_it

  View on GitHub
  ☆11Aug 24, 2018Updated 7 years ago
• ikuraj / alloy

  View on GitHub
  A language and tool for relational models
  ☆12Jul 20, 2017Updated 9 years ago
• frsyuki / rev-websocket

  View on GitHub
  WebSocket server implementation based on Rev
  ☆29Jul 21, 2010Updated 16 years ago
• esminc / deka_eiwakun

  View on GitHub
  Ruby convention in esm
  ☆12Aug 31, 2018Updated 7 years ago
• yugui / ruby-jsonnet

  View on GitHub
  Jsonnet library for Ruby
  ☆41Sep 7, 2024Updated last year
• rurema / bitclust

  View on GitHub
  System behind Japanese Ruby reference manual
  ☆38Updated this week