Last released Apr 21, 2021
Implements a finite, negative, totally ordered monoid together with methods to compute its one-element Rees coextensions
Last released Mar 9, 2021
Demonstration of the Dijkstra algorithm for educational purposes
Last released Mar 6, 2021
Demonstration of the Quine-McCluskey algorithm for educational purposes
Supported by