Useful scripts for finding finite counter-examples of residuated binars with different additional properties
inpefess/residuated-binars
stable