Dark-Alex-17/ptp
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a computer algebra system to the dependencies

Browse Source
This commit is contained in:
atusa17
2019-02-03 18:25:38 -07:00
parent 4e395aa6b4
commit 5372643b52
2 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pandamonium-theorem-prover/lib/jas-2.6.5961-bin.jar
BIN
View File
Binary file not shown.
pandamonium-theorem-prover/services/build.gradle
+1
View File
@@ -13,4 +13,5 @@ repositories {
dependencies {
testCompile group: 'junit', name: 'junit', version: '4.12'
compile fileTree(dir: 'lib', include: '**/*.jar')
}