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

support/libtool: add patch for newer versions

2014-12-21 13:21:56 +01:00

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