clp-sets

Popular repositories Loading

1. setlog setlog Public

   The {log} interpreter and solver (sequential version)

   Prolog 1

2. setlog_tests setlog_tests Public

   Tests for setlog

   HTML 1