Installing and configuring Singular
Singular must be installed in order to use the integer_ring solver mode.
Steps:
-
Install Singular
- To use Singular’s standard library, you need more than just the Singular executable binary.
Hence, when possible, we strongly recommend using your system’s package manager. Regardless of the method you select, please install Singular version 4.3.2: other versions are untested, and 4.4.0 is known to be incompatible with Verus. Here are
some suggested steps for different platforms.
-
Mac:
brew install Singularand set theVERUS_SINGULAR_PATHenvironment variable when running Verus. (e.g.VERUS_SINGULAR_PATH=/usr/local/bin/Singular). For more options, see Singular’s OS X installation guide. -
Debian-based Linux:
apt-get install singularand set theVERUS_SINGULAR_PATHenvironment variable when running Verus. (e.g.VERUS_SINGULAR_PATH=/usr/bin/Singular). For more options, see Singular’s Linux installation guide. -
Windows: See Singular’s Windows installation guide.
-
- To use Singular’s standard library, you need more than just the Singular executable binary.
Hence, when possible, we strongly recommend using your system’s package manager. Regardless of the method you select, please install Singular version 4.3.2: other versions are untested, and 4.4.0 is known to be incompatible with Verus. Here are
some suggested steps for different platforms.
-
Compiling Verus with Singular Support
- The
integer_ringfunctionality is conditionally compiled when thesingularfeature is set. To add this feature, add the--features singularflag when you invokevargo buildto compile Verus.
- The