nixpkgs / coqPackages.itauto - A reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support

Homepage - https://gitlab.inria.fr/fbesson/itauto

License - GPL-3.0-or-later

Maintainers - Siraphob Phipathananunth

Releases

8.13+no (expand/collapse)
From commit 008615ed to 00460bd6