⬢ RubyGems Navigation menu

Search Gems…

Releases Blog Gems Guides Sign in Sign up

prop_logic-sat4j 2.3.5.0-java

Click on the arrow icon to expand.

Runtime :

prop_logic 0.2.4 >= 0.2.0

Development :

bundler 1.17.3 ~> 1.11

rake 10.5.0 ~> 10.0

rspec 3.13.0 ~> 3.0

Status Uptime Code Data Discuss Stats Contribute About Help API Security

RubyGems.org is the Ruby community’s gem hosting service. Instantly publish your gems and then install them. Use the API to find out more about available gems. Become a contributor and improve the site yourself.

RubyGems.org is made possible through a partnership with the greater Ruby community. Fastly provides bandwidth and CDN support, Ruby Central covers infrastructure costs, and funds ongoing development and ops work. Learn more about our sponsors and how they work together.

We need your help to fund the developer time that keeps RubyGems.org running smoothly for everyone. Join Ruby Central today.

Supported by Ruby Central Designed by DockYard Resolved with DNSimple Monitored by Datadog Gems served by Fastly Monitored by Honeybadger Verified by Domainr Secured by Whitesource

English

Nederlands

简体中文

正體中文

Português do Brasil

Français

Español

Deutsch

日本語