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 11 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
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• bannzai / EraCalculator

  View on GitHub
  Last library of 平成.
  ☆10Apr 30, 2019Updated 7 years ago
• 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
• spintech-software / react-admin-auth0-example

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

  View on GitHub
  Japanese Translation of The Bancor Protocol Whitepaper
  ☆18Nov 8, 2017Updated 8 years ago
• fearoffish / motion-net-service

  View on GitHub
  A RubyMotion wrapper for the NSNetService (Bonjour)
  ☆23Mar 29, 2013Updated 13 years ago
• 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 11 years ago
• seki / bartender

  View on GitHub
  Async I/O using Ruby Fiber
  ☆42Jun 25, 2017Updated 9 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• 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 4 months ago
• ishikawam / chatwork_isdead

  View on GitHub
  チャットワークは死んだボットです。 チャットワークが死んだらお知らせします。 息を吹き返してもお知らせします。
  ☆19Jun 26, 2017Updated 9 years ago
• grzracz / OrangeApp

  View on GitHub
  Orange App for mining Orange
  ☆10Jan 15, 2025Updated last year
• texjporg / ptex-manual

  View on GitHub
  Japanese pTeX Manual
  ☆22Aug 12, 2026Updated last month
• intelli-scripts / dappflow

  View on GitHub
  ☆12Feb 20, 2023Updated 3 years ago
• runtimeverification / avm-semantics

  View on GitHub
  ☆15Oct 1, 2025Updated 11 months 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
• dashboardblock / AlgorandTipBot

  View on GitHub
  ☆11Jan 23, 2021Updated 5 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• euphoria-io / scope

  View on GitHub
  ☆16Sep 16, 2017Updated 9 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
• 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
• bannzai / constructor

  View on GitHub
  constructor is generated Constructor for struct.
  ☆18Dec 21, 2022Updated 3 years ago
• kubo39 / bossan

  View on GitHub
  high performance asynchronous rack web server
  ☆28Jan 15, 2015Updated 11 years ago
• servo / rust-freetype

  View on GitHub
  Rust bindings for FreeType.
  ☆33Jun 11, 2026Updated 3 months ago
• endredy / GoldMiner

  View on GitHub
  a boilerplate removal algorithm
  ☆12Mar 22, 2016Updated 10 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.
• 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
• gopheracademy / daryl

  View on GitHub
  gopher slack bot
  ☆16Apr 14, 2016Updated 10 years ago
• dominiccooney / earley

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

  View on GitHub
  Auto Layout in RubyMotion.
  ☆18Dec 20, 2013Updated 12 years ago
• ruby / date

  View on GitHub
  A subclass of Object includes Comparable module for handling dates.
  ☆131Sep 7, 2026Updated 2 weeks ago
• ohs30359-nobuhara / react-starter

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