Z3Prover z3 Ideas · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

Ideas Discussions

Share ideas for new features

You must be logged in to vote

Doing a lot of repetitive z3.Store() ops

Notselwyn started Aug 9, 2024 in Ideas

4
You must be logged in to vote

Feature request. Please add the F4 and F5 algorithms in order to compute the Grőbner base in order to simplify the solving of polynomial equation systems.

ytrezq started Sep 29, 2023 in Ideas

0
You must be logged in to vote

Would more documentation for C++ be appreciated?

jparsert started Feb 1, 2023 in Ideas

1
You must be logged in to vote

mimalloc

waywardmonkeys started Aug 2, 2022 in Ideas

1
You must be logged in to vote

Ts/Go bindings

aestriplex started Dec 25, 2021 in Ideas

28
You must be logged in to vote

C++ API replace assert

zwimer started Apr 10, 2021 in Ideas

20
You must be logged in to vote

Modernizing the C++ API

zwimer started Apr 8, 2021 in Ideas

0
You must be logged in to vote

New Feature: pointer theory

aestriplex started Feb 2, 2021 in Ideas

10
You must be logged in to vote

Go language API bindings

WeiZhang555 started Nov 6, 2019 in Ideas

4
You must be logged in to vote

Java/Scala usability

jotterbach started Oct 30, 2017 in Ideas

3