poly-v0.4.0

• update usage in readme
• compat with clang>=11, gcc>=11
• simplify gear formula using "target" = (beta /\ f >= T)
• switch to kay::dbl::ival, add SUBDIVS param to -i, do not install SIGINT handler
• unconditionally include ival-solver
• ival-solver supports ite2
• add license headers to ival-solver
• ival-solver cleanup
• feed maybes from ival to next solver
• add simplify() on form2 and term2 + add derivative() on term2
• WIP: ival computes #critical points for simple problems
• add meson configure option -Dasserts=(true|false)
• missing case in simplify()
• add critical-points search after ival-solver

poly-v0.3.0

• prepare making z3-solver optional
• make z3-solver optional
• fix typo in help message
• cleanup includes
• add first version of an interval solver
• do not capture stderr of external solvers
• ival-solver: eval combinations separately
• comment ival-solver code
• sequence ival- and other solvers
• sanitize solver::add() API + ival-solver sub-divides once on MAYBE
• include sub-division log messages

poly-v0.2.1

• add support for ksmt
• support MathSAT 5.6.{3,8}
• take delta into account for id_theta
• add supported external solvers to readme
• bump v0.2.1

poly-v0.2.0

• add -Dstatic=(true|false) meson option
• add -V for version info
• add support for Not() for ALPHA, BETA
• add support for -e ETA
• update usage in readme
• add some detail in build instructions
• initial support for external solver
• fix parsing model of ext-solver + add -I INC-CMD
• ext-solver prints (first) error in check()
• cleanup ext-solver model parsing
• run ext-solver in ${SHELL:-sh} instead of sh
• perform ood-check using ext-solver if specified
• include exit-code description in help message

SMLP poly-cc v1

poly-v0.1.0

poly: run ext-solver in ${SHELL:-sh} instead of sh