types: VARIANT type improved; general improvements Variant…

Authored by pgess on Aug 15 2017, 7:24 PM.

Description

types: VARIANT type improved; general improvements Variant compilation&interpretation disabled

Details

Committed
pgessAug 15 2017, 7:24 PM
Parents
rXR9f4fc0af2d9a: clasp: changed conversion rules between Gringo::Symbol and Expression(clasp…
Branches
Unknown
Tags
Unknown