Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / benjishults / bitnots
Tableau Theorem Prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/benjishults%2Fbitnots
Stars: 3
Forks: 1
Open Issues: 13
License: None
Language: Kotlin
Repo Size: 1.04 MB
Dependencies:
321
Created: almost 7 years ago
Updated: 11 months ago
Last pushed: 11 months ago
Last synced: 11 months ago
Topics: kotlin, tableau, theorem-prover
Files
Loading...
Readme
Loading...
Dependencies
apps/regression/pom.xml
maven
- com.benjishults.bitnots:inference
- com.benjishults.bitnots:ipr-parser
- com.benjishults.bitnots:jfx-utils
- com.benjishults.bitnots:language
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:prover
- com.benjishults.bitnots:tableau
- com.benjishults.bitnots:tableau-prover
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:tptp-parser
- com.benjishults.bitnots:util
- com.fasterxml.jackson.core:jackson-databind
- com.fasterxml.jackson.dataformat:jackson-dataformat-yaml
- com.fasterxml.jackson.module:jackson-module-kotlin
- com.uchuhimo:konf-core
- com.uchuhimo:konf-yaml
- de.jensd:fontawesomefx-commons
- de.jensd:fontawesomefx-fontawesome
- de.jensd:fontawesomefx-materialicons
- de.jensd:fontawesomefx-materialstackicons
- io.micrometer:micrometer-core
- org.controlsfx:controlsfx
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-stdlib
- org.jetbrains.kotlinx:kotlinx-coroutines-core
- org.jetbrains.kotlinx:kotlinx-coroutines-javafx
- org.jetbrains:annotations
- org.openjfx:javafx-base
- org.openjfx:javafx-controls
- org.openjfx:javafx-graphics
- com.benjishults.bitnots:language
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:util
- com.fasterxml.jackson.core:jackson-databind
- com.fasterxml.jackson.dataformat:jackson-dataformat-yaml
- com.fasterxml.jackson.module:jackson-module-kotlin
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-stdlib
common/config/pom.xml
maven
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
- org.postgresql:postgresql provided
- com.benjishults.bitnots:config provided
- com.benjishults.bitnots:inference provided
- com.benjishults.bitnots:ipr-parser provided
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:parser provided
- com.benjishults.bitnots:theory provided
- commons-codec:commons-codec provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
- org.postgresql:postgresql provided
- org.springframework:spring-beans provided
- org.springframework:spring-context provided
- javax.annotation:javax.annotation-api
- org.jetbrains.kotlin:kotlin-stdlib-jdk8 1.3.61
common/inference/pom.xml
maven
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-reflect provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:parser provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
common/jfx-utils/pom.xml
maven
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
- org.openjfx:javafx-base provided
- org.openjfx:javafx-controls provided
- org.openjfx:javafx-graphics provided
common/language/pom.xml
maven
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-reflect provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-serialization-runtime provided
- org.jetbrains:annotations provided
common/parser/pom.xml
maven
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core provided
- org.jetbrains.kotlinx:kotlinx-serialization-runtime provided
- com.benjishults.bitnots:parser test
- com.benjishults.bitnots:tptp-parser test
- org.jetbrains.kotlin:kotlin-reflect test
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core provided
- org.jetbrains.kotlinx:kotlinx-serialization-runtime provided
- com.benjishults.bitnots:parser test
- com.benjishults.bitnots:tptp-parser test
- org.jetbrains.kotlin:kotlin-reflect test
common/prover/pom.xml
maven
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core provided
- org.jetbrains:annotations provided
- com.benjishults.bitnots:parser
- org.jetbrains.kotlin:kotlin-reflect test
common/tableau/pom.xml
maven
- com.benjishults.bitnots:inference provided
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:prover provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core provided
- org.jetbrains:annotations provided
- com.benjishults.bitnots:parser test
- org.jetbrains.kotlin:kotlin-reflect test
- com.benjishults.bitnots:inference provided
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:parser provided
- com.benjishults.bitnots:prover provided
- com.benjishults.bitnots:tableau provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core provided
- org.jetbrains:annotations provided
- org.jetbrains.kotlin:kotlin-reflect test
common/test/pom.xml
maven
- com.benjishults.bitnots:inference
- com.benjishults.bitnots:language
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:prover
- com.benjishults.bitnots:tableau
- com.benjishults.bitnots:tableau-prover
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:tptp-parser
- com.benjishults.bitnots:util
- io.micrometer:micrometer-core
- org.apache.commons:commons-csv
- org.jetbrains.kotlin:kotlin-main-kts
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-script-runtime
- org.jetbrains.kotlin:kotlin-scripting-common
- org.jetbrains.kotlin:kotlin-scripting-jvm
- org.jetbrains.kotlin:kotlin-scripting-jvm-host
- org.jetbrains.kotlin:kotlin-stdlib
- org.jetbrains.kotlinx:kotlinx-coroutines-core
- org.jetbrains:annotations
- org.junit.jupiter:junit-jupiter-engine
common/theory/pom.xml
maven
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:util provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains.kotlinx:kotlinx-serialization-runtime provided
- org.jetbrains:annotations provided
- org.jetbrains.kotlin:kotlin-reflect test
- com.benjishults.bitnots:inference provided
- com.benjishults.bitnots:language provided
- com.benjishults.bitnots:parser provided
- com.benjishults.bitnots:prover provided
- com.benjishults.bitnots:tableau-prover provided
- com.benjishults.bitnots:theory provided
- com.benjishults.bitnots:util provided
- com.fasterxml.jackson.core:jackson-annotations provided
- com.fasterxml.jackson.dataformat:jackson-dataformat-yaml provided
- com.fasterxml.jackson.datatype:jackson-datatype-jsr310 provided
- org.jetbrains.kotlin:kotlin-reflect provided
- org.jetbrains.kotlin:kotlin-stdlib provided
- org.jetbrains:annotations provided
- org.jetbrains.kotlinx:kotlinx-coroutines-core
common/util/pom.xml
maven
parent/pom.xml
maven
- io.projectreactor:reactor-bom Dysprosium-SR2 import
- ch.qos.logback:logback-classic 1.2.0
- com.benjishults.bitnots:bitnots-parser 0.0.1-SNAPSHOT
- com.benjishults.bitnots:inference 0.0.1-SNAPSHOT
- com.benjishults.bitnots:ipr-parser 0.0.1-SNAPSHOT
- com.benjishults.bitnots:jfx-utils 0.0.1-SNAPSHOT
- com.benjishults.bitnots:language 0.0.1-SNAPSHOT
- com.benjishults.bitnots:parser 0.0.1-SNAPSHOT
- com.benjishults.bitnots:problem-service-client 0.0.1-SNAPSHOT
- com.benjishults.bitnots:proof-service-client 0.0.1-SNAPSHOT
- com.benjishults.bitnots:prover 0.0.1-SNAPSHOT
- com.benjishults.bitnots:tableau 0.0.1-SNAPSHOT
- com.benjishults.bitnots:tableau-prover 0.0.1-SNAPSHOT
- com.benjishults.bitnots:test 0.0.1-SNAPSHOT
- com.benjishults.bitnots:theory 0.0.1-SNAPSHOT
- com.benjishults.bitnots:tptp-parser 0.0.1-SNAPSHOT
- com.benjishults.bitnots:util 0.0.1-SNAPSHOT
- com.fasterxml.jackson.core:jackson-annotations 2.12.6.1
- com.fasterxml.jackson.core:jackson-databind 2.12.6.1
- com.fasterxml.jackson.dataformat:jackson-dataformat-yaml 2.12.6.1
- com.fasterxml.jackson.datatype:jackson-datatype-jsr310 2.12.6.1
- com.fasterxml.jackson.module:jackson-module-kotlin 2.12.6.1
- com.typesafe.netty:netty-reactive-streams 2.0.4
- com.uchuhimo:konf-core 0.22.1
- com.uchuhimo:konf-yaml 0.22.1
- commons-codec:commons-codec 1.13
- de.jensd:fontawesomefx 8.9
- de.jensd:fontawesomefx-commons 11.0
- de.jensd:fontawesomefx-fontawesome 4.7.0-9.1.2
- de.jensd:fontawesomefx-materialicons 2.2.0-9.1.2
- de.jensd:fontawesomefx-materialstackicons 2.1-5-9.1.2
- io.ktor:ktor-jackson 1.3.0
- io.ktor:ktor-serialization 1.3.0
- io.ktor:ktor-server-core 1.3.0
- io.ktor:ktor-server-netty 1.3.0
- io.ktor:ktor-utils-jvm 1.3.0
- io.micrometer:micrometer-core 1.3.2
- io.netty:netty-all 4.1.43.Final
- io.projectreactor.ipc:reactor-netty 0.9.2.RELEASE
- io.projectreactor:reactor-core 3.1.0.RELEASE
- javax.annotation:javax.annotation-api 1.3.2
- org.apache.camel:camel-api 3.0.1
- org.apache.camel:camel-cdi 3.0.1
- org.apache.camel:camel-core 3.0.1
- org.apache.camel:camel-core-engine 3.0.1
- org.apache.camel:camel-jetty 3.0.1
- org.apache.camel:camel-netty-http 3.0.1
- org.apache.camel:camel-support 3.0.1
- org.apache.camel:camel-swagger-java 3.0.1
- org.apache.camel:camel-test 3.0.1
- org.apache.commons:commons-configuration2 2.7
- org.apache.commons:commons-csv 1.7
- org.apache.logging.log4j:log4j-api 2.17.1
- org.apache.logging.log4j:log4j-slf4j-impl 2.17.1
- org.apache.maven.shared:maven-dependency-analyzer 1.11.1
- org.controlsfx:controlsfx 11.0.1
- org.eclipse.jetty:jetty-http 9.4.26.v20200117
- org.jetbrains.kotlin:kotlin-allopen 1.6.0
- org.jetbrains.kotlin:kotlin-main-kts 1.6.0
- org.jetbrains.kotlin:kotlin-reflect 1.6.0
- org.jetbrains.kotlin:kotlin-script-runtime 1.6.0
- org.jetbrains.kotlin:kotlin-scripting-common 1.6.0
- org.jetbrains.kotlin:kotlin-scripting-jvm 1.6.0
- org.jetbrains.kotlin:kotlin-scripting-jvm-host 1.6.0
- org.jetbrains.kotlin:kotlin-stdlib 1.6.0
- org.jetbrains.kotlin:kotlin-test 1.6.0
- org.jetbrains.kotlin:kotlin-test-common 1.6.0
- org.jetbrains.kotlin:kotlin-test-junit 1.6.0
- org.jetbrains.kotlinx:kotlinx-coroutines-core 1.3.5
- org.jetbrains.kotlinx:kotlinx-coroutines-javafx 1.3.5
- org.jetbrains.kotlinx:kotlinx-serialization-runtime 0.14.0
- org.jetbrains:annotations 18.0.0
- org.junit.jupiter:junit-jupiter-api 5.4.0
- org.junit.jupiter:junit-jupiter-engine 5.4.0
- org.mockito:mockito-core 3.1.0
- org.openjfx:javafx-base 14
- org.openjfx:javafx-controls 14
- org.openjfx:javafx-graphics 14
- org.postgresql:postgresql 42.3.3
- org.reactivestreams:reactive-streams 1.0.3
- org.slf4j:slf4j-api 1.7.28
- org.jetbrains.kotlinx:kotlinx-serialization-runtime test
- org.junit.jupiter:junit-jupiter-api test
- org.junit.jupiter:junit-jupiter-engine test
- org.mockito:mockito-core test
- com.benjishults.bitnots:config
- com.benjishults.bitnots:data-access
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:tptp-parser
- com.fasterxml.jackson.datatype:jackson-datatype-jsr310
- com.fasterxml.jackson.module:jackson-module-kotlin
- io.projectreactor.ipc:reactor-netty
- io.projectreactor:reactor-core
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-stdlib
- org.jetbrains:annotations
- org.reactivestreams:reactive-streams
- org.springframework.boot:spring-boot
- org.springframework:spring-beans
- org.springframework:spring-context
- org.springframework:spring-web
- org.springframework:spring-webflux
- org.postgresql:postgresql runtime
- io.projectreactor:reactor-test test
- org.apache.logging.log4j:log4j-api test
- org.apache.logging.log4j:log4j-slf4j-impl test
- org.junit.jupiter:junit-jupiter-engine test
- org.slf4j:slf4j-api test
- org.springframework:spring-test test
- ch.qos.logback:logback-classic
- com.benjishults.bitnots:language
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:proof-service-client
- com.benjishults.bitnots:prover
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:tptp-parser
- com.benjishults.bitnots:util
- io.ktor:ktor-jackson
- io.ktor:ktor-serialization
- io.ktor:ktor-server-core
- io.ktor:ktor-server-netty
- io.ktor:ktor-utils-jvm
- org.eclipse.jetty:jetty-http
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-stdlib
- org.jetbrains.kotlinx:kotlinx-serialization-runtime
- org.jetbrains:annotations
- ch.qos.logback:logback-classic
- com.benjishults.bitnots:language
- com.benjishults.bitnots:parser
- com.benjishults.bitnots:proof-service-client
- com.benjishults.bitnots:prover
- com.benjishults.bitnots:theory
- com.benjishults.bitnots:tptp-parser
- com.benjishults.bitnots:util
- io.ktor:ktor-jackson
- io.ktor:ktor-serialization
- io.ktor:ktor-server-core
- io.ktor:ktor-server-netty
- io.ktor:ktor-utils-jvm
- org.eclipse.jetty:jetty-http
- org.jetbrains.kotlin:kotlin-reflect
- org.jetbrains.kotlin:kotlin-stdlib
- org.jetbrains.kotlinx:kotlinx-serialization-runtime
- org.jetbrains:annotations
- alpine latest build