A demonstrative logic expression solver based on Bason and Flex - View it on GitHub