Alligator.Compact Alligator = Algorithm library for game theory Sonar This is the new and compact version. Projects: Alligator.Solver: The abstract core library of artificial intelligence for different two-player zero-sum games.