2 Commits

Author	SHA1	Message	Date
Romain Naour	a9ad8ae22a	support/testing: TestZ3: use base configuration ... The base configuration now provide a glibc toolchain, we can safely switch to it. Signed-off-by: Romain Naour <romain.naour@gmail.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>	2023-07-12 23:22:18 +02:00
Julien Olivain	2ad68ff8df	package/z3: new package ... Z3, also known as the Z3 Theorem Prover, is a cross-platform satisfiability modulo theories (SMT) solver. https://github.com/Z3Prover/z3 Signed-off-by: Julien Olivain <ju.o@free.fr> [yann.morin.1998@free.fr: - python bindings 'depends on' python, not 'select' it - fix check-package in test_z3.py ] Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>	2022-11-20 14:54:58 +01:00