yoni206 / gen2sat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Gen2sat: Sat-based Decision Procedure for Analytic Pure Sequent Calculi

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
lib		lib
profiler_tests		profiler_tests
src		src
test		test
LICENSE		LICENSE
README.md		README.md
build.xml		build.xml
data.txt		data.txt
example.txt		example.txt
jar-in-jar-loader.zip		jar-in-jar-loader.zip

Repository files navigation

gen2sat

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

About

Gen2sat: Sat-based Decision Procedure for Analytic Pure Sequent Calculi

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 100.0%