зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
13 строки
323 B
Plaintext
13 строки
323 B
Plaintext
https://github.com/Z3Prover/z3
|
|
|
|
https://github.com/Z3Prover/z3/wiki/Slides
|
|
https://github.com/Z3Prover/z3/wiki/Publications
|
|
|
|
https://github.com/Z3Prover/z3/tree/master/examples/java
|
|
|
|
!pip install "z3-solver"
|
|
|
|
2020
|
|
Bjorner - Programming Constraint Services with Z3 of 1:07:48
|
|
https://www.youtube.com/watch?v=nGwyNmsxX6I
|