issues
search
ontologyportal
/
sigmakee
Sigma Knowledge Engineering Environment
GNU General Public License v3.0
100
stars
34
forks
source link
Docker images for arm
#104
Closed
kharus
closed
1 year ago
kharus
commented
1 year ago
Also
Update vampire to 4.8
Set up CATALINA_OPTS to -Xmx10g
Also