Giters
StarExec

StarExec

Geek Repo

Home Page:https://www.starexec.org

Github PK Tool:Github PK Tool

StarExec's repositories

StarExec

StarExec is a cross community logic solving service

Language:JavaLicense:MITStargazers:16Issues:3Issues:208

Web-Interface

StarExec Web Interface Documentation

Language:TeXStargazers:1Issues:2Issues:0

code-prettify

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0