Last modified October 14, 2016
SyNRAC is a software package for quantifier elimination (QE), solving first-order formulas. SyNRAC is a package on a computer algebra system "Maple".
To start SyNRAC, double-click the Maple worksheet icon "synrac_start.mw" included in the downloaded file. Please read the comments written in the Maple worksheet "synrac_start.mw" to use the QE command.
Share this page