GitHub repository: ComputationWithBoundedResources/slogic
Primary language: Haskell
Created: 2015-06-29T08:04:47Z
Description: A s(imple)logic library providing interfaces to external solvers