binaries

Jul 28, 2021

c3c7189 · Jul 28, 2021

This branch is up to date with potassco/acclingo:master.

Name	Name	Last commit message	Last commit date
parent directory ..
clasp	clasp	ADD first mini-prototype	Feb 26, 2017
runsolver	runsolver	RM generic wrapper + ADD own TAE	Feb 27, 2017
wrapper.py	wrapper.py	allows grounded instances within .gz files	Feb 27, 2017

Provide feedback