Multiple Precision Integers and Rationals
Version: 3.0.0 | Maintained by: michaelld | Categories: devel math | Variants: universalVampire Theorem Prover
Version: 2021-08-04 | Maintained by: landonf | Categories: science math | Variants: debug, native, polly, profile, universalMultiple Precision Integers and Rationals
Version: 20201225-b3367eb1 | Maintained by: michaelld | Categories: devel math | Variants: universalwar simulation game
Version: 1.17 | Maintained by: | Categories: games | Variants: universal