All pull requests

Pull requests

• Princess: Allow SAT checks to be interrupted by the ShutdownManager

  Princess
  #723·daniel-raffler opened Oct 2, 2026Contributor·

  ·
  1

• Add an API call to list available solvers for the current platform

  APItests
  #720·daniel-raffler opened Oct 2, 2026Contributor·

  ·
  2

• Z3: Remove internal symbols from unsat core and model

  bugZ3LegacyZ3
  #719·daniel-raffler opened Oct 1, 2026Contributor·

  ·
  1

• Princess: Eliminate abbreviation symbols from interpolants

  bugPrincess
  #718·daniel-raffler opened Sep 30, 2026Contributor·

  ·
  1

• Add a parser for full Smtlib scripts

  #717·daniel-raffler opened Sep 28, 2026Contributor·

  ·
  2

• Update Princess and Ostrich

  dependenciesPrincess
  #716·daniel-raffler opened Sep 25, 2026Contributor·

  ·
  2

• Trace: Fix method name in the trace

  enhancement
  #711·daniel-raffler opened Sep 21, 2026Contributor·

  ·
  1

• Provide JavaSMT main to execute as solver for SMT-COMP

  #710·gcarpio21 opened Sep 17, 2026Member·

  ·
  25

  

• Yices: Use "MCSat+dpllt" for interpolation

  enhancementYices2
  #705·daniel-raffler opened Aug 12, 2026Contributor·

  ·

• CVC5: Build interpolant sequence in reverse for better performance

  CVC5enhancement
  #704·daniel-raffler opened Aug 10, 2026Contributor·

  ·
  3

  

• Override default methods in BasicProverEnvironment for all delegates

  enhancement
  #685·daniel-raffler opened Jul 7, 2026Contributor·

  ·
  1

  22

  

• Add support for eldarica horn solver

  APIEldaricaPrincesssolver
  #683·Bixilon opened Jun 29, 2026Collaborator·10 of 13 tasks·

  ·
  16

  

• Migrate to JUnit6

  tests
  #681·daniel-raffler opened Jun 19, 2026Contributor·

  ·
  1

  6

• Refactor AbstractProver flags

  #679·baierd opened Jun 15, 2026Contributor·

  ·
  

• Add solver and interrupted exceptions to all prover methods

  #676·baierd opened Jun 10, 2026Contributor·

  ·
  

• Add common precondition checks for unsat core and allSat

  Basicimpl
  #674·baierd opened Jun 9, 2026Contributor·

  ·
  8

  

• Add MathSAT5 logic selection via option

  MathSAT
  #670·baierd opened Jun 8, 2026Contributor·

  ·
  1

  

• Add CI for example projects

  #667·daniel-raffler opened May 30, 2026Contributor·

  ·
  1

  20

  

• Yices: Use official repository for building the Java bindings

  Yices2
  #660·daniel-raffler opened May 10, 2026Contributor·

  ·
  5

  

• Update SMTInterpol and add new theories

  SMTInterpol
  #648·daniel-raffler opened Apr 13, 2026Contributor·

  ·
  1

  10

  

• Yices: Add an option to set the logic

  enhancementYices2
  #636·daniel-raffler opened Mar 30, 2026Contributor·

  ·
  6

• Add an option to reject/log Smtlib inputs with illegal commands

  APIenhancement
  #630·daniel-raffler opened Mar 27, 2026Contributor·

  ·
  2

• Add a build script for Yices on macOS

  Yices2
  #628·daniel-raffler opened Mar 25, 2026Contributor·

  ·
  5

• Draft: Extend Truth based Solver/Prover Assertions

  #625·baierd opened Mar 24, 2026Contributor·

  ·
  5

  

• 558 add general proof api

  #583·gcarpio21 opened Jan 16, 2026Member·

  ·
  17