Code

Feat: add z3 maxsat support#12

Code

Open

timbeurskens wants to merge 8 commits intooeb25:mainoeb25/smtlib-rs:mainfrom simpl-energy:feat/z3-maxsat-supportsimpl-energy/smtlib-rs:feat/z3-maxsat-supportCopy head branch name to clipboard

+782-278

Commits

Commits on Dec 19, 2024

• prevent suffix for Real

  timbeurskens

  committed
  e928466

• add commands from maximal satisfaction paper

  timbeurskens

  committed
  60ca43a

• add maximize and minimize to solver

  timbeurskens

  committed
  99c45c6

• add assert_soft to solver

  timbeurskens

  committed
  4ae57d0

• fix function signature for assert-soft

  timbeurskens

  committed
  7c842e9

• use Real division for impl Div

  timbeurskens

  committed
  6d24e85

• allow custimization of optimization priorities

  timbeurskens

  committed
  16f524c

Commits on Dec 20, 2024

• add support for z3 eval command

  timbeurskens

  committed
  4d4e0a6