Dima Pasechnik's repositories
cryptominisat
An advanced SAT solver
Language:C++NOASSERTION000
Dedekind_2nd_def
This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
gap-feedstock
A conda-smithy repository for gap.
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
homebrew-gap
Homebrew tap for GAP
MDTreeJavacode
archive of old Java code by Marc Tedder
MIT000
Normaliz
Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
Language:C++GPL-3.0000
ReleaseTools
Tool to help GAP package authors with the process of making new releases of their packages
Semigroups
The GAP package Semigroups