Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ruby Minisat

ruby binding for MiniSat, which is an open-source SAT solver
Stars
16
License
other
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
C++
Total Downloads
rubygems ruby-minisat Downloads
Dependent Repos
3
Dependent Packages
2
Total Releases
4
Latest Release
October 26, 2019
Categories
Site
Repo
Alternatives To Ruby Minisat
Select To Compare
Vimium ⭐ 21,541
The hacker's browser.
most recent commit 3 months ago
Tree Sitter ⭐ 14,404
An incremental parsing system for programming tools
dependent packages 439total releases 144most recent commit 3 months agonpm tree-sitter-cli} Downloads
Pybind11 ⭐ 14,329
Seamless operability between C++11 and Python
dependent packages 482total releases 47most recent commit 3 months agopypi pybind11} Downloads
Foundationdb ⭐ 13,602
FoundationDB - the open source, distributed, transactional key-value store
dependent packages 70total releases 199most recent commit 3 months ago
Pyo3 ⭐ 10,899
Rust bindings for the Python interpreter
dependent packages 539total releases 79most recent commit a month agocargo pyo3} Downloads


Suggest An Alternative To ruby-minisat
Popular Libraries Categories
Plugin
Sdk
Bindings
Driver
Date
Adapter
Time
Location
Bridge
Wordpress Plugin

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Ruby
Bindings
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.