Skip to content

@clp-sets clp-sets

Change the repository type filter

All

    Repositories list

    2 repositories

    • setlog

      Public
      The {log} interpreter and solver (sequential version)
      Prolog
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jun 11, 2020Jun 11, 2020

    • setlog_tests

      Public
      Tests for setlog
      HTML
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Feb 5, 2020Feb 5, 2020