The NetBSD Project

pkgsrc/math/z3/

Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.

Current directory: [cvs.NetBSD.org] / pkgsrc / math / z3


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] Attic/  [Don't hide]        
[DIR] patches/        
[TXT] DESCR  1.1   8 years  dholland   Package the Z3 theorem prover / SMT solver from Microsoft Research.
[TXT] Makefile  1.20   4 weeks  adam   z3 py-z3: updated to 4.12.5 z3-4.12.5 update release scripts and notes track q...
[TXT] Makefile.common  1.8   6 days  nia   z3: Requires a C++17 compiler
[TXT] PLIST  1.5   9 months  adam   z3 py-z3: updated to 4.12.1 Version 4.12.1 ============== - change macos build ...
[TXT] buildlink3.mk  1.5   6 days  nia   z3: Requires a C++17 compiler
[TXT] distinfo  1.17   4 weeks  adam   z3 py-z3: updated to 4.12.5 z3-4.12.5 update release scripts and notes track q...


CVSweb <webmaster@jp.NetBSD.org>