B

boolstab

Boolean stability