Skip to content

Latest commit

 

History

History

z3_template

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 

How to use it ?

  • Change the length of your input vector by changing the value of INPUT_LEN.
  • Add your own constraint in the function add_constraint.
  • Launch the script and it will start printing all solutions. So it can be infinite. If not, at the end, it will print the number of solutions found.

What is Generic constraint ?

You can use already implemented constraint that are very common. Names are self-explained.