prop_logic-minisat-0.2.0

https://rubygems.org

prop_logic-minisat

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 903301

number: 0.2.0

platform: ruby

spec_sha256: febae747c1be3e290c1968d704c8c489a8e12853ec0877360800850b25da0cad

sha256: cb50b9df694a44f687255007429fe3ef9ffc0c5ac47766b3307801ce554b4cb7

created_at: 2024-05-13 08:27:38 UTC

updated_at: 2024-06-11 10:37:38 UTC

position: 0

version_data_entries_count: 14

uploaded_at: 2016-03-27 11:54:23 UTC

indexed: true

has_extensions:

extensions:

Gem size: 8 KB

Version Data Entries

Total: 14

Unpacked size: 7.9 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10066400105 Bytes79f7d5488f42a053aece7b903c53cd61038e2a4a2de41b0ac78624964768c287
.rspec1006640031 Bytes04ea314ec27821b7e7cf198c2b3f1dc643fbc27429e3d8eb5f6253c2104d51ca
.travis.yml10066400154 Bytes5982febb23790b15c3a75a1694fe01d702539a4b910736a9cc096a35aa4d563e
CHANGELOG.md10066400139 Bytes71be3cc60b34383a4e918d6dd7a0a992e86026a1e81f482a66e74ab145dd99ed
Gemfile10066400103 Bytes8aef6ca797e7448e5d815fb37c35faa140e4ce4e732de207d88fd8f2c34c58c8
LICENSE.txt100664001.05 KBb679f844524c2ce77bf50275bb19ccc1139be05a44e8a71b6a123345d76432fc
README.md100664001.77 KB52012a31e3fedd7cfaf48050261fc620a5f3d54392bd79ce6d69d1d92cfb9a53
Rakefile10066400117 Bytesdca0f4190a3b018ccfd644daa6600f4fe5d11b3330ecb4c564a2971465e5b016
bin/console10077500343 Bytesa7fcf3c8750b14b326705462e02d692b1390868bc2c43776903d90392f458dd1
bin/setup10077500131 Bytese201190bc24e9f00849b3efa5fbaece2cbf069703232e50c7fa15d41c47f2ead
lib/prop_logic/minisat.rb10066400373 Bytes0aca99c5f387c891eaf03ee7b8f8cf23d3ab834ae017b13b0dd9a93173676b8f
lib/prop_logic/minisat/incremental_solver.rb100664002.5 KBef7556a31d7951d8ff177d44260977038153f3a7acedebb8c615dbb97c103a36
lib/prop_logic/minisat/version.rb1006640066 Bytes20c78b382bf785a06a7ba83f5959d15fc527f0b1793ff52aed18dd70f6344552
prop_logic-minisat.gemspec100664001.05 KB76f56939741163645477b614981b954a6fd1de92a4efaa466391df71766425d4