14 lines
380 B
Common Lisp
14 lines
380 B
Common Lisp
|
;; Canonical package declaration.
|
||
|
|
(define-package "strategies/nondeterministic"
|
||
|
|
:description "Fork at amb choice points with BFS/DFS frontier management"
|
||
|
|
:exports '(nondeterministic)
|
||
|
|
:effects '(amb.op)
|
||
|
|
:requires '()
|
||
|
|
:version "0.1.0"
|
||
|
|
)
|
||
|
|
;; strategies/nondeterministic package entry.
|
||
|
|
;; Minimal package surface aligned to manifest exports.
|
||
|
|
|
||
|
|
(define nondeterministic #t)
|
||
|
|
#t
|