gen2sat This repository contains the source-code for Gen2sat - an automated tool for reasoning with non-classical logics.