This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
For more information, please see the paper Formula Normalizations in Verification by Simon Guilloud (EPFL), Mario Bucev (EPFL), Dragana Milovancevic (EPFL), Viktor Kunčak (EPFL) at CAV 2023, the 35th International Conference on Computer Aided Verification, Paris, July 2023.