mirror of
https://github.com/Veridise/Picus.git
synced 2026-01-12 23:18:08 -05:00
12 lines
251 B
Racket
12 lines
251 B
Racket
#lang info
|
|
|
|
(define deps '("base"
|
|
"rosette"
|
|
"csv-reading"
|
|
"graph"))
|
|
|
|
(define compile-omit-paths
|
|
'("picus-cex-uniqueness.rkt"
|
|
"picus/algorithms/cex0.rkt"
|
|
"picus/algorithms/lemmas/copy-lemma.rkt"))
|