Бих искал да използвам Z3 чрез SBV, използвайки множество ядра. Въз основа на този отговор трябва да мога да направя това само като предам parallel.enable=true на изпълнимия файл z3 в командния ред. Тъй като използвам SBV, трябва да премина...