constraint solver preview handout


Subject: constraint solver preview handout
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Wed Jul 24 2002 - 17:52:19 PDT


For those who are going to join the brainstorming session, I am attaching
the handout with some preliminaries. Please try to get some idea of how
the algorithm works based on my example. (It mostly works like Prolog
with some adjustments for transitivity of subtyping.)

Vass


_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Wed Jul 24 2002 - 17:52:34 PDT