mirror of
https://github.com/Veridise/Picus.git
synced 2026-04-19 03:00:11 -04: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"))
|