Для получения фиксированных назначений на набор переменных в виде последствий. Я могу использовать consequence интерфейс класса Solver в Z3Py. И я могу найти похожий API в C / C ++ /. Net. Но я не могу найти то же самое в JavaAPI. Это отсутствует в zap JavaAPI или что-то еще?
PS: Моя версия z3 z3-4.8.7-x64-ubuntu-16.04