[mercury-users] JACK Constraint and search library for Java

[Thom Fruehwirth]

JACK is a new library providing constraint programming and search for Java. 

JACK consists of three components: 
 - JCHR: Java Constraint Handling Rules 
      A high-level language to write constraint solvers 
 - JASE: Java Abstract Search Engine
      A generic search engine for JCHR to solve constraint problems 
 - VisualCHR:
      An interactive tool to visualize JCHR computations

JACK and its documentation are available for browser use and for download at:

    http://www.pms.informatik.uni-muenchen.de/software/jack/

Greetings,
Thom Fruehwirth, Slim Abdennadher, Matthias Saft
http://www.pst.informatik.uni-muenchen.de/~fruehwir/cwg.html
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------