From ddb57cb49a60b6173712341940195e0275ef1c9d Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 8 Aug 2018 22:58:13 +0200 Subject: Haskell solver that uses rules --- hsolve/hsolve.cabal | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 hsolve/hsolve.cabal (limited to 'hsolve/hsolve.cabal') diff --git a/hsolve/hsolve.cabal b/hsolve/hsolve.cabal new file mode 100644 index 0000000..4489d0b --- /dev/null +++ b/hsolve/hsolve.cabal @@ -0,0 +1,16 @@ +name: hsolve +version: 0.1.0 +cabal-version: >= 1.10 +build-type: Simple +license: MIT +author: Tom Smeding +maintainer: tom.smeding@gmail.com + +executable hsolve + hs-source-dirs: . + main-is: Main.hs + default-language: Haskell2010 + ghc-options: -Wall -O3 -Wno-incomplete-patterns + other-modules: FSu + build-depends: base >= 4 && < 5, + mtl, array -- cgit v1.2.3-70-g09d2