Nikolaj Bjorner a4eb59aaba Delete examples/c++/test_move_context.cpp		2026-02-18 20:58:04 -08:00
..
c
c++	Delete examples/c++/test_move_context.cpp	2026-02-18 20:58:04 -08:00
dotnet
java	Add Java APIs for polymorphic datatypes (#8438)	2026-02-18 20:58:00 -08:00
maxsat
ml
python	Fix some typos. (#7115)	2024-02-07 23:06:43 -08:00
SMT-LIB2
tptp
userPropagator
CMakeLists.txt