RegStab

swMATH794MaRDI QIDQ13542FDOQ13542

Author name not available (Why is that?)

Official website: http://regstab.forge.ocamlcore.org/

Described by source

• RegSTAB: A SAT Solver for Propositional Schemata

This page was built for software: RegStab