Search results

Produce eta-normal proofs

enhancement

Status: Open.

#28 In RichardMoot/LinearOne;

· RichardMoot opened on Apr 25, 2015

 ·  

Version One

Add position constraints

Status: Open.

#25 In RichardMoot/LinearOne;

· RichardMoot opened on Apr 8, 2015

 ·  

Version One

Add support for additives

enhancement

help wanted

Status: Open.

#18 In RichardMoot/LinearOne;

· RichardMoot opened on Mar 27, 2015

Better constraints for forall links

enhancement

Status: Open.

#14 In RichardMoot/LinearOne;

· RichardMoot opened on Mar 23, 2015

 ·  

Version One

Add/evaluate a choice of tie-breakers to the dancing links algorithm

enhancement

Status: Open.

#13 In RichardMoot/LinearOne;

· RichardMoot opened on Mar 23, 2015