Search results

Yices: Use pre-built <code>gmp</code> static library when building <code>libpoly</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#73 In GaloisInc/what4-solvers;

· RyanGlScott opened on Nov 9, 2025

Use a newer version of <code>z3</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#69 In GaloisInc/what4-solvers;

· RyanGlScott opened on Jun 23, 2025

Drop Boolector support

enhancementNew feature or requestNew feature or request

Status: Open.

#62 In GaloisInc/what4-solvers;

· RyanGlScott opened on Mar 26, 2025

Drop CVC4 support

enhancementNew feature or requestNew feature or request

Status: Open.

#57 In GaloisInc/what4-solvers;

· RyanGlScott opened on Feb 18, 2025

Bump <code>abc</code> submodule commit

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In GaloisInc/what4-solvers;

· RyanGlScott opened on Jul 5, 2022