https://github.com/zayac/joule
Tip revision: a71a59dc456b62b4575e7ea7b43da7324c29d28f authored by Pavel Zaichenkov on 05 April 2014, 15:32:57 UTC
initial implementation
initial implementation
Tip revision: a71a59d
_oasis
OASISFormat: 0.4
OCamlVersion: >= 4.00.1
FindlibVersion: >= 1.3.2
Name: Joule
Version: 0.1
Authors: Pavel Zaichenkov <zaichenkov@gmail.com>
License: MIT
LicenseFile: LICENSE.txt
Homepage: https://github.com/zayac/joule
Plugins: META (0.4), StdFiles (0.4), DevFiles (0.4)
XStdFilesAUTHORS: false
XStdFilesREADME: false
BuildTools: ocamlbuild, camlp4o, menhir
Synopsis: Constraint solver for Data Description Language in AstraKahn language
Description:
Joule is a solver for constraints formulated in Data Description Language.
It is used in the Constraint Aggregation Layer for AstraKahn language.
Executable joule
Path: src
MainIs: joule.ml
BuildDepends: core,
sexplib,
sexplib.syntax,
comparelib,
comparelib.syntax,
ocamlgraph,
threads,
ctypes,
ctypes.foreign
CompiledObject: best
if system(linux)
CCLib: -Xlinker --no-as-needed -lpicosat
else
CCLib: -lpicosat
Test joule
Command: ./scripts/run_all_tests.pl joule.native my myerr; ./scripts/compare_results.pl ref my referr myerr