Tobias Geibinger's repositories
taasp.at
Webpage of the Workshop Series "Trends and Applications of Answer Set Programming (TAASP)"
Language:SCSSMIT000
alaspo
An (adaptive) LNS framework for the for ASP systems.
Language:PythonMIT000
clingcon
⛓️ Extension of clingo to handle constraints over integers
MIT000
clingo-dl
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
MIT000
chuffed
The Chuffed CP solver
MIT000
Language:Java000
Signal-Android
A private messenger for Android.
Language:JavaGPL-3.0000
openerp-java-api
A Java API to connect to OpenERP and manage data using the XMLRPC interface.
LGPL-3.0000