dreal3
dreal3 copied to clipboard
add threshold number for fixed points
feature requested by @scungao