mogul:/chorus/clls-solver-ke

type	:	package
id	:	`mogul:/chorus/clls-solver-ke`
section	:	mogul:/chorus
version	:	0.6.4
blurb	:	A semi decision procedure for CLLS.
author	:	Chorus Project (sfb 378)
category	:	`nlp`
documentation	:	makefile.oz
download	:	chorus-clls-solver-ke__1.2.5__source__0.6.4.pkg chorus-clls-solver-ke__1.3.0__source__0.6.4.pkg
requires	:	`mogul:/chorus/clls` `mogul:/niehren/base` `mogul:/niehren/output` `mogul:/niehren/inspector-space`
provides	:	`x-ozlib://chorus/solver/ke/solver.ozf` `x-ozlib://chorus/solver/ke/rclls-solver.ozf`

This package provides a solver for the constraint language for lambda structures. It was first implemented by Kartin Erk and Sebastian Pado.

The present implementation is based on non-deterministic saturation. Saturation is implemented from scratch.

Clls Solver Ke