;;;; amb.egg  -*- scheme -*-
;;;; Kon Lovett, Jul '18

((synopsis "The non-deterministic backtracking ambivalence operator")
 (version "3.0.10")
 (category logic)
 (author "[[thomas chust]]")
 (maintainer "Kon Lovett")
 (license "BSD")
 (dependencies srfi-1)
 (test-dependencies test test-utils)
 (components
  #; ;don't bother
  (data amb-examples
    (files
      #;
      "amb-examples/amb-zebra.scm"
      "amb-examples/amb-dwelling.scm"
      "amb-examples/amb-kalotan.scm"
      "amb-examples/amb-money.scm"
      "amb-examples/amb-pythagorean.scm"
      "amb-examples/amb-pl-solver.scm"
      "amb-examples/amb-sat-solve.scm"))
  (extension amb
    (types-file)
    (csc-options "-O3" "-d1" "-strict-types" "-no-procedure-checks") )
  (extension amb-extras
    (types-file)
    (component-dependencies amb)
    (csc-options "-O3" "-d1" "-strict-types" "-no-procedure-checks") ) ) )