Search results

No solutions despite being Sat when run on multiple threads

bugSomething isn't workingSomething isn't working

Status: Open.

#465 In prove-rs/z3.rs;

· lixitrixi opened on Nov 14, 2025

Parametric Sorts

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#463 In prove-rs/z3.rs;

· tomaz1502 opened on Nov 12, 2025

Cannot get Interpretation of some FuncDecls

bugSomething isn't workingSomething isn't working

Status: Open.

#461 In prove-rs/z3.rs;

· toolCHAINZ opened on Nov 6, 2025

FuncInterp::get_else should return an Option

bugSomething isn't workingSomething isn't working

Status: Open.

#460 In prove-rs/z3.rs;

· toolCHAINZ opened on Nov 6, 2025

How to get signed value of BV (as_i64 returns unsigned)

bugSomething isn't workingSomething isn't working

docDocumentation updatesDocumentation updates

Status: Open.

#458 In prove-rs/z3.rs;

· lixitrixi opened on Oct 30, 2025

FuncDecl Refactor

enhancementNew feature or requestNew feature or request

Status: Open.

#447 In prove-rs/z3.rs;

· toolCHAINZ opened on Sep 11, 2025

Reorganizing the doc.rs documentation

breakingA change that will likely break compatibilityA change that will likely break compatibility

docDocumentation updatesDocumentation updates

refactorSomething exists and works but needs to be rethoughtSomething exists and works but needs to be rethought

Status: Open.

#421 In prove-rs/z3.rs;

· Pat-Lafon opened on Aug 23, 2025

Converting <code>Vec&lt;Dynamic&gt;</code> to <code>&amp;[&amp;dyn Ast]</code>

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#351 In prove-rs/z3.rs;

· niooss-ledger opened on Jun 20, 2025

Retrieve non-unsat proof attempts via on_clause callback

enhancementNew feature or requestNew feature or request

Status: Open.

#343 In prove-rs/z3.rs;

· LeskovarLukas opened on Apr 6, 2025

Exposing application parameters

enhancementNew feature or requestNew feature or request

Status: Open.

#238 In prove-rs/z3.rs;

· dp1 opened on May 2, 2023

Feature request: domain, range and params on FuncDecl

enhancementNew feature or requestNew feature or request

Status: Open.

#189 In prove-rs/z3.rs;

· cassanof opened on Mar 18, 2022

Strongly typed bitvector-lengths

enhancementNew feature or requestNew feature or request

Status: Open.

#162 In prove-rs/z3.rs;

· djrenren opened on Sep 28, 2021