Nikolaj Bjorner c88295a7c7 fix C++ example and add polymorphic interface for C++ ...

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

2025-10-29 03:08:49 -07:00

..

c

Remove vestiges of old ml api (#7597)

2025-03-27 16:41:31 -07:00

c++

fix C++ example and add polymorphic interface for C++

2025-10-29 03:08:49 -07:00

dotnet

clean up CMake code (#5182)

2021-04-14 10:29:15 -07:00

java

fix generic example

2024-02-21 08:16:01 -08:00

maxsat

fix grouping for latest doxygen (#5626)

2021-10-27 23:46:31 +02:00

ml

Add Z3_get_estimated_alloc_size to OCaml API (#7068)

2023-12-21 12:54:30 -08:00

python

Fix some typos. (#7115)

2024-02-07 23:06:43 -08:00

SMT-LIB2/bounded model checking

Fix some typos. (#7115)

2024-02-07 23:06:43 -08:00

tptp

move to readme-cmake

2025-05-13 14:36:20 -07:00

userPropagator

userPropagator: Compile as C++20.

2022-08-05 07:41:14 +03:00

CMakeLists.txt

cmake: Remove ExternalProject BUILD_ALWAYS workaround.

2022-08-02 09:27:11 +03:00