Skip to content

Latest commit

 

History

History
 
 

python

Folders and files

NameName
Last commit message
Last commit date

parent directory

..

complex

complex

 
 

data

data

 
 

hamiltonian

hamiltonian

 
 

mus

mus

 
 

CMakeLists.txt

CMakeLists.txt

 
 

README

README

 
 

all_interval_series.py

all_interval_series.py

 
 

example.py

example.py

 
 

mini_ic3.py

mini_ic3.py

 
 

mini_quip.py

mini_quip.py

 
 

parallel.py

parallel.py

 
 

rc2.py

rc2.py

 
 

socrates.py

socrates.py

 
 

visitor.py

visitor.py

 
 

README

The example is copied to the build directory during configuration.
You can execute it using
    python example.py
in the build directory after you build Z3.