Search results

Integer*real symbolic multiplication gives cryptic error message <code>(unknown)</code>

Status: Open.

#294 In emina/rosette;

· natebragg opened on Jul 5, 2025

Recursive function synthesis

Status: Open.

#291 In emina/rosette;

· nnarek opened on May 11, 2025

Built-in portfolio solver

Status: Open.

#284 In emina/rosette;

· gussmith23 opened on Dec 3, 2024

Confusing synthesizer behavior (choosing integers vs. forms)

Status: Open.

#277 In emina/rosette;

· jefftrull opened on Jan 31, 2024

Incompatible with z3 (4.8.12-3.1) version shipped in Debian Bookworm

Status: Open.

#274 In emina/rosette;

· SulemanAhmadd opened on Dec 19, 2023

Unknown sort 'Int' when using `QF_NRA theory

Status: Open.

#268 In emina/rosette;

· chyanju opened on Oct 10, 2023

Adding Custom Floating Point Support

Status: Open.

#257 In emina/rosette;

· RafaeNoor opened on Jun 27, 2023