Tags

v0.1.5

v0.1.5 — silence stdout chatter

PbSolver now forces RoundingSat verbosity=0, so the library no longer
writes progress lines (c #Conflicts, c INPROCESSING, c Inconsistent
input constraint, ...) to the embedder's stdout. PIC + hidden visibility
+ no boost_iostreams + dual toolchain (gcc/libstdc++, clang/libc++) as
in v0.1.4.

v0.1.4

v0.1.4 — drop boost_iostreams from released library

Release artifacts now built with -Diostreams=OFF: the in-process API
never uses compressed-file I/O, so libroundingsat_lib.a no longer links
or references boost_iostreams. Consumers can drop -lboost_iostreams.
PIC + hidden visibility + dual toolchain (gcc/libstdc++, clang/libc++)
as before.

v0.1.3

v0.1.3 — hidden visibility, export only rs::api::PbSolver

Library built with -fvisibility=hidden; only the RS_API-annotated
rs::api::PbSolver surface is exported, RoundingSat internals are hidden.
PIC + dual-toolchain (gcc/libstdc++, clang/libc++) as in v0.1.2.

v0.1.2

v0.1.2 — PIC library build

Both toolchain variants of libroundingsat_lib.a are now built with
position-independent code, so the archive can be linked into a shared
library. Supersedes v0.1.1, whose artifacts were built without -fPIC.

v0.1.1

v0.1.1 — dual-toolchain library release

Adds a clang/libc++ build of libroundingsat_lib.a alongside the
gcc/libstdc++ one. The two C++ runtimes are not ABI compatible across
the std::string/std::vector public API, so consumers pick the archive
matching their own toolchain. Public PbSolver API surface is unchanged.

v0.1.0

v0.1.0 — first release of the in-process PbSolver API

Static library libroundingsat_lib.a plus the public PbSolver.hpp header
(Boost-free public surface) and the internal headers it transitively
requires, for embedding RoundingSat's PB solver in-process.

cp25-experiments

pb24-log

monthly.21.03

proofanalyze

stat_bound_development

objective_stats

jik-restarts

pure_lits_print

prefetch

roundingsat2-oldpropagation

roundingsat2-bnn

pure_lits

roundingsat2_multverif_paul

roundingsat2_multverif_nosoplex