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
..
config-fragments	support/config-fragments/autobuild/bootlin-armv7m-uclibc.config: specify configuration more precisely	2022-09-17 14:45:47 +02:00
dependencies	Makefile: unexport PERL_MM_OPT	2022-11-07 23:10:47 +01:00
docker	support/docker: add shellcheck	2022-02-06 18:27:03 +01:00
download	support/download/cargo-post-process: cargo output for vendor config	2022-10-31 10:06:17 +01:00
gnuconfig	support/gnuconfig: fix previous version bump	2020-09-27 18:30:05 +02:00
kconfig	support/kconfig: fix compiler warnings	2021-10-06 21:11:09 +02:00
legal-info	boot, package, support, toolchain: switch to 2 spaces for the hash file	2022-07-28 23:05:23 +02:00
libtool
misc	Update for 2022.08.1	2022-10-03 08:49:17 +02:00
scripts	toolchain: support gconv modules from glibc >= 2.34	2022-10-21 21:02:40 +02:00
testing	package/z3: new package	2022-11-20 14:54:58 +01:00