7900dd07cc
Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This is a fork of the original Z3. Unfortunately it conflicts with the math/z3 package as a result.
47 lines
1.4 KiB
Text
47 lines
1.4 KiB
Text
@comment $NetBSD: PLIST,v 1.1 2018/03/20 15:47:36 khorben Exp $
|
|
bin/z3
|
|
${PYSITELIB}/z3/__init__.py
|
|
${PYSITELIB}/z3/__init__.pyc
|
|
${PYSITELIB}/z3/__init__.pyo
|
|
${PYSITELIB}/z3/include/c++/z3++.h
|
|
${PYSITELIB}/z3/include/z3.h
|
|
${PYSITELIB}/z3/include/z3_algebraic.h
|
|
${PYSITELIB}/z3/include/z3_api.h
|
|
${PYSITELIB}/z3/include/z3_fpa.h
|
|
${PYSITELIB}/z3/include/z3_interp.h
|
|
${PYSITELIB}/z3/include/z3_macros.h
|
|
${PYSITELIB}/z3/include/z3_polynomial.h
|
|
${PYSITELIB}/z3/include/z3_rcf.h
|
|
${PYSITELIB}/z3/include/z3_v1.h
|
|
${PYSITELIB}/z3/lib/libz3.so
|
|
${PYSITELIB}/z3/z3.py
|
|
${PYSITELIB}/z3/z3.pyc
|
|
${PYSITELIB}/z3/z3.pyo
|
|
${PYSITELIB}/z3/z3consts.py
|
|
${PYSITELIB}/z3/z3consts.pyc
|
|
${PYSITELIB}/z3/z3consts.pyo
|
|
${PYSITELIB}/z3/z3core.py
|
|
${PYSITELIB}/z3/z3core.pyc
|
|
${PYSITELIB}/z3/z3core.pyo
|
|
${PYSITELIB}/z3/z3num.py
|
|
${PYSITELIB}/z3/z3num.pyc
|
|
${PYSITELIB}/z3/z3num.pyo
|
|
${PYSITELIB}/z3/z3poly.py
|
|
${PYSITELIB}/z3/z3poly.pyc
|
|
${PYSITELIB}/z3/z3poly.pyo
|
|
${PYSITELIB}/z3/z3printer.py
|
|
${PYSITELIB}/z3/z3printer.pyc
|
|
${PYSITELIB}/z3/z3printer.pyo
|
|
${PYSITELIB}/z3/z3rcf.py
|
|
${PYSITELIB}/z3/z3rcf.pyc
|
|
${PYSITELIB}/z3/z3rcf.pyo
|
|
${PYSITELIB}/z3/z3types.py
|
|
${PYSITELIB}/z3/z3types.pyc
|
|
${PYSITELIB}/z3/z3types.pyo
|
|
${PYSITELIB}/z3/z3util.py
|
|
${PYSITELIB}/z3/z3util.pyc
|
|
${PYSITELIB}/z3/z3util.pyo
|
|
${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
|
|
${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
|
|
${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
|
|
${PYSITELIB}/${EGG_INFODIR}/top_level.txt
|