cadical 0.9.0

data/ext/cadical/extconf.rb

@@ -0,0 +1,26 @@
+require "mkmf"
+
+cadical_src = File.join(__dir__, "cadical", "src")
+
+unless File.exist?(File.join(cadical_src, "internal.cpp"))
+  abort "CaDiCaL sources not found at #{cadical_src}"
+end
+
+skip = %w[cadical.cpp mobical.cpp]
+$srcs = ["cadical_ext.c", *Dir.children(cadical_src).grep(/\.(c|cpp)\z/).sort] - skip
+$objs = $srcs.map { |f| f.sub(/\.(c|cpp)\z/, ".#{$OBJEXT}") }
+$VPATH << cadical_src
+
+optflags = RbConfig::CONFIG["optflags"] # e.g. "-O3 -fno-fast-math"
+$INCFLAGS << " -I#{cadical_src}"
+$CXXFLAGS << " -std=c++17 #{optflags} -DNDEBUG -DNBUILD -DQUIET" # CXXFLAGS is empty by default, so pass optflags explicitly
+$CFLAGS   << " -DNDEBUG -DNBUILD -DQUIET"
+$LDFLAGS << " -lstdc++"
+have_library("stdc++")
+
+unless have_func("closefrom", "unistd.h")
+  $CFLAGS   << " -DNCLOSEFROM"
+  $CXXFLAGS << " -DNCLOSEFROM"
+end
+
+create_makefile("cadical/cadical")

data/lib/cadical/version.rb

@@ -0,0 +1,3 @@
+class CaDiCaL
+  VERSION = "0.9.0"
+end

data/lib/cadical.rb

@@ -0,0 +1,12 @@
+require_relative "cadical/version"
+require "cadical/cadical" # the compiled C extension defining the CaDiCaL class
+
+class CaDiCaL
+  alias new_var declare_one_more_variable
+
+  # A variable usable as a constant true literal, pinned true with a unit clause.
+  def true_var = @true_var ||= new_var.tap { |v| add(v) }
+
+  # A variable usable as a constant false literal, pinned false with a unit clause.
+  def false_var = @false_var ||= new_var.tap { |v| add(-v) }
+end

metadata

@@ -0,0 +1,218 @@
+--- !ruby/object:Gem::Specification
+name: cadical
+version: !ruby/object:Gem::Version
+  version: 0.9.0
+platform: ruby
+authors:
+  - Yusuke Endoh
+bindir: bin
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies: []
+description: |
+    A Ruby binding for CaDiCaL, a state-of-the-art incremental SAT solver.
+    The CaDiCaL C++ sources are vendored and compiled into the extension,
+    so there is no external dependency. Supports incremental solving, assumptions,
+    temporary constraints, fixed-literal queries and phase hints.
+email:
+  - mame@ruby-lang.org
+executables: []
+extensions:
+  - ext/cadical/extconf.rb
+extra_rdoc_files: []
+files:
+  - LICENSE.txt
+  - README.md
+  - ext/cadical/cadical/LICENSE
+  - ext/cadical/cadical/README.md
+  - ext/cadical/cadical/VERSION
+  - ext/cadical/cadical/src/analyze.cpp
+  - ext/cadical/cadical/src/arena.cpp
+  - ext/cadical/cadical/src/arena.hpp
+  - ext/cadical/cadical/src/assume.cpp
+  - ext/cadical/cadical/src/averages.cpp
+  - ext/cadical/cadical/src/averages.hpp
+  - ext/cadical/cadical/src/backbone.cpp
+  - ext/cadical/cadical/src/backtrack.cpp
+  - ext/cadical/cadical/src/backward.cpp
+  - ext/cadical/cadical/src/bins.cpp
+  - ext/cadical/cadical/src/bins.hpp
+  - ext/cadical/cadical/src/block.cpp
+  - ext/cadical/cadical/src/block.hpp
+  - ext/cadical/cadical/src/cadical.cpp
+  - ext/cadical/cadical/src/cadical.hpp
+  - ext/cadical/cadical/src/ccadical.cpp
+  - ext/cadical/cadical/src/ccadical.h
+  - ext/cadical/cadical/src/checker.cpp
+  - ext/cadical/cadical/src/checker.hpp
+  - ext/cadical/cadical/src/clause.cpp
+  - ext/cadical/cadical/src/clause.hpp
+  - ext/cadical/cadical/src/collect.cpp
+  - ext/cadical/cadical/src/compact.cpp
+  - ext/cadical/cadical/src/condition.cpp
+  - ext/cadical/cadical/src/config.cpp
+  - ext/cadical/cadical/src/config.hpp
+  - ext/cadical/cadical/src/congruence.cpp
+  - ext/cadical/cadical/src/congruence.hpp
+  - ext/cadical/cadical/src/constrain.cpp
+  - ext/cadical/cadical/src/contract.cpp
+  - ext/cadical/cadical/src/contract.hpp
+  - ext/cadical/cadical/src/cover.cpp
+  - ext/cadical/cadical/src/cover.hpp
+  - ext/cadical/cadical/src/decide.cpp
+  - ext/cadical/cadical/src/decompose.cpp
+  - ext/cadical/cadical/src/decompose.hpp
+  - ext/cadical/cadical/src/deduplicate.cpp
+  - ext/cadical/cadical/src/definition.cpp
+  - ext/cadical/cadical/src/delay.hpp
+  - ext/cadical/cadical/src/drattracer.cpp
+  - ext/cadical/cadical/src/drattracer.hpp
+  - ext/cadical/cadical/src/elim.cpp
+  - ext/cadical/cadical/src/elim.hpp
+  - ext/cadical/cadical/src/elimfast.cpp
+  - ext/cadical/cadical/src/ema.cpp
+  - ext/cadical/cadical/src/ema.hpp
+  - ext/cadical/cadical/src/extend.cpp
+  - ext/cadical/cadical/src/external.cpp
+  - ext/cadical/cadical/src/external.hpp
+  - ext/cadical/cadical/src/external_propagate.cpp
+  - ext/cadical/cadical/src/factor.cpp
+  - ext/cadical/cadical/src/factor.hpp
+  - ext/cadical/cadical/src/file.cpp
+  - ext/cadical/cadical/src/file.hpp
+  - ext/cadical/cadical/src/flags.cpp
+  - ext/cadical/cadical/src/flags.hpp
+  - ext/cadical/cadical/src/flip.cpp
+  - ext/cadical/cadical/src/format.cpp
+  - ext/cadical/cadical/src/format.hpp
+  - ext/cadical/cadical/src/frattracer.cpp
+  - ext/cadical/cadical/src/frattracer.hpp
+  - ext/cadical/cadical/src/gates.cpp
+  - ext/cadical/cadical/src/heap.hpp
+  - ext/cadical/cadical/src/idruptracer.cpp
+  - ext/cadical/cadical/src/idruptracer.hpp
+  - ext/cadical/cadical/src/instantiate.cpp
+  - ext/cadical/cadical/src/instantiate.hpp
+  - ext/cadical/cadical/src/internal.cpp
+  - ext/cadical/cadical/src/internal.hpp
+  - ext/cadical/cadical/src/inttypes.hpp
+  - ext/cadical/cadical/src/ipasir.cpp
+  - ext/cadical/cadical/src/ipasir.h
+  - ext/cadical/cadical/src/kitten.c
+  - ext/cadical/cadical/src/kitten.h
+  - ext/cadical/cadical/src/level.hpp
+  - ext/cadical/cadical/src/lidruptracer.cpp
+  - ext/cadical/cadical/src/lidruptracer.hpp
+  - ext/cadical/cadical/src/limit.cpp
+  - ext/cadical/cadical/src/limit.hpp
+  - ext/cadical/cadical/src/logging.cpp
+  - ext/cadical/cadical/src/logging.hpp
+  - ext/cadical/cadical/src/lookahead.cpp
+  - ext/cadical/cadical/src/lratchecker.cpp
+  - ext/cadical/cadical/src/lratchecker.hpp
+  - ext/cadical/cadical/src/lrattracer.cpp
+  - ext/cadical/cadical/src/lrattracer.hpp
+  - ext/cadical/cadical/src/lucky.cpp
+  - ext/cadical/cadical/src/message.cpp
+  - ext/cadical/cadical/src/message.hpp
+  - ext/cadical/cadical/src/minimize.cpp
+  - ext/cadical/cadical/src/mobical.cpp
+  - ext/cadical/cadical/src/occs.cpp
+  - ext/cadical/cadical/src/occs.hpp
+  - ext/cadical/cadical/src/options.cpp
+  - ext/cadical/cadical/src/options.hpp
+  - ext/cadical/cadical/src/parse.cpp
+  - ext/cadical/cadical/src/parse.hpp
+  - ext/cadical/cadical/src/phases.cpp
+  - ext/cadical/cadical/src/phases.hpp
+  - ext/cadical/cadical/src/probe.cpp
+  - ext/cadical/cadical/src/profile.cpp
+  - ext/cadical/cadical/src/profile.hpp
+  - ext/cadical/cadical/src/proof.cpp
+  - ext/cadical/cadical/src/proof.hpp
+  - ext/cadical/cadical/src/propagate.cpp
+  - ext/cadical/cadical/src/queue.cpp
+  - ext/cadical/cadical/src/queue.hpp
+  - ext/cadical/cadical/src/radix.hpp
+  - ext/cadical/cadical/src/random.cpp
+  - ext/cadical/cadical/src/random.h
+  - ext/cadical/cadical/src/random.hpp
+  - ext/cadical/cadical/src/range.hpp
+  - ext/cadical/cadical/src/reap.cpp
+  - ext/cadical/cadical/src/reap.hpp
+  - ext/cadical/cadical/src/reduce.cpp
+  - ext/cadical/cadical/src/reluctant.hpp
+  - ext/cadical/cadical/src/rephase.cpp
+  - ext/cadical/cadical/src/report.cpp
+  - ext/cadical/cadical/src/resources.cpp
+  - ext/cadical/cadical/src/resources.hpp
+  - ext/cadical/cadical/src/restart.cpp
+  - ext/cadical/cadical/src/restore.cpp
+  - ext/cadical/cadical/src/score.cpp
+  - ext/cadical/cadical/src/score.hpp
+  - ext/cadical/cadical/src/shrink.cpp
+  - ext/cadical/cadical/src/signal.cpp
+  - ext/cadical/cadical/src/signal.hpp
+  - ext/cadical/cadical/src/solution.cpp
+  - ext/cadical/cadical/src/solver.cpp
+  - ext/cadical/cadical/src/stable.cpp
+  - ext/cadical/cadical/src/stack.h
+  - ext/cadical/cadical/src/stats.cpp
+  - ext/cadical/cadical/src/stats.hpp
+  - ext/cadical/cadical/src/subsume.cpp
+  - ext/cadical/cadical/src/sweep.cpp
+  - ext/cadical/cadical/src/sweep.hpp
+  - ext/cadical/cadical/src/terminal.cpp
+  - ext/cadical/cadical/src/terminal.hpp
+  - ext/cadical/cadical/src/ternary.cpp
+  - ext/cadical/cadical/src/testing.hpp
+  - ext/cadical/cadical/src/tier.cpp
+  - ext/cadical/cadical/src/tracer.hpp
+  - ext/cadical/cadical/src/transred.cpp
+  - ext/cadical/cadical/src/unstable.cpp
+  - ext/cadical/cadical/src/util.cpp
+  - ext/cadical/cadical/src/util.hpp
+  - ext/cadical/cadical/src/var.cpp
+  - ext/cadical/cadical/src/var.hpp
+  - ext/cadical/cadical/src/veripbtracer.cpp
+  - ext/cadical/cadical/src/veripbtracer.hpp
+  - ext/cadical/cadical/src/version.cpp
+  - ext/cadical/cadical/src/version.hpp
+  - ext/cadical/cadical/src/vivify.cpp
+  - ext/cadical/cadical/src/vivify.hpp
+  - ext/cadical/cadical/src/walk.cpp
+  - ext/cadical/cadical/src/walk.hpp
+  - ext/cadical/cadical/src/walk_full_occs.cpp
+  - ext/cadical/cadical/src/warmup.cpp
+  - ext/cadical/cadical/src/watch.cpp
+  - ext/cadical/cadical/src/watch.hpp
+  - ext/cadical/cadical_ext.c
+  - ext/cadical/extconf.rb
+  - lib/cadical.rb
+  - lib/cadical/version.rb
+homepage: "https://github.com/mame/cadical-ruby"
+licenses:
+  - MIT
+metadata:
+  homepage_uri: "https://github.com/mame/cadical-ruby"
+  source_code_uri: "https://github.com/mame/cadical-ruby"
+rdoc_options: []
+require_paths:
+  - lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+    -
+      - ">="
+      - !ruby/object:Gem::Version
+        version: 3.2.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+    -
+      - ">="
+      - !ruby/object:Gem::Version
+        version: "0"
+requirements: []
+rubygems_version: 4.1.0.dev
+specification_version: 4
+summary: A Ruby binding for the CaDiCaL SAT solver
+test_files: []