Andrew Reynolds 798524d033 Updates to API in preparation for using symbol manager for model (#5481) ...

printModel no longer makes sense if the list of declared symbols is managed outside the solver.

Also, mkConst needs a variant to distinguish a provided name of "" vs. a name that is not provided.

2020-11-20 14:49:55 -06:00

..

bitvectors_and_arrays.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

bitvectors.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

CMakeLists.txt

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

combination.py

Updates to API in preparation for using symbol manager for model (#5481)

2020-11-20 14:49:55 -06:00

datatypes.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

exceptions.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

extract.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

floating_point.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

helloworld.py

Update copyright header script to support CMake and Python files (#5067)

2020-09-22 09:51:56 -07:00

linear_arith.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

sequences.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

sets.py

Remove mkSingleton from the API (#5366)

2020-11-05 17:13:44 -06:00

strings.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

sygus-fun.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

sygus-grammar.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00

sygus-inv.py

Add mkInteger to the API (#5274)

2020-10-29 13:26:51 -05:00