Skip to content

nfzhou/xcsp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 

Repository files navigation

This is an interpreter for the XCSP language (www.xcsp.org) written in Picat (picat-lang.org). This program assumes correct syntax, and thus does not detect syntax errors. Also, it assumes that no operators or keywords are used as identifiers.

Given an XCSP instance, say "nqueens_8.xml", this program can be run as follows:

Picat> cl("xcsp")
Picat> main("nqueens_8")

Alternatively, this program can be run as a standalone command:

picat xcsp nqueens_8

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published