dreal3
dreal3 copied to clipboard
support user specification about the important variables
feature requested by @scungao