DegePrime DegePrime has migrated to: https://github.com/EnvGen/DEGEPRIME Please go there for the latest version and documentation!