You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
#lang debug racket
|
|
|
|
(require sugar "hacs.rkt")
|
|
|
|
|
|
|
|
(current-inference forward-check)
|
|
|
|
(current-select-variable mrv)
|
|
|
|
(current-order-values shuffle)
|
|
|
|
(current-shuffle #true)
|