Search results

WebAssembly Support

Status: Open.

#33 In oeb25/smtlib-rs;

· saulshanabrook opened on Oct 26, 2025

Proposal: let Solver hold Storage directly

Status: Open.

#28 In oeb25/smtlib-rs;

· nahla-nee opened on Aug 1, 2025

Build documentation with all features?

Status: Open.

#17 In oeb25/smtlib-rs;

· Philipp15b opened on Mar 18, 2025

Incorrect (and incomplete) declaration of variables

Status: Open.

#14 In oeb25/smtlib-rs;

· sankalpgambhir opened on Jan 14, 2025

Support Real Division

Status: Open.

#10 In oeb25/smtlib-rs;

· yangky11 opened on Jul 8, 2024

Plan to support finite field theory solver?

Status: Open.

#7 In oeb25/smtlib-rs;

· DoHoonKim8 opened on Mar 11, 2024

Support retrieving values from get-model (i.e. extracting values from <code>Term</code>s)

Status: Open.

#6 In oeb25/smtlib-rs;

· rbtying opened on Jan 1, 2024

Support mixing low-level and high-level SMT APIs

Status: Open.

#4 In oeb25/smtlib-rs;

· rbtying opened on Dec 24, 2023

Feature request: SyGuS input format

Status: Open.

#2 In oeb25/smtlib-rs;

· Sicheng-Pan opened on Nov 17, 2023