Thread: GOLD2.10 core released for Vampire V2
View Single Post
Old 29 July 2018, 13:24   #35
kolla
Banned
 
Join Date: Nov 2007
Location: Trondheim, Norway
Posts: 1,893
Quote:
Originally Posted by flype View Post
Does PPT works OK when FPU is disabled ?
Yes, albeit slowly.
kolla is offline  
 
Page generated in 0.04308 seconds with 11 queries