#lang racket
(require "cegis.rkt" "state.rkt")
;(optimize "@p . . + 1")
(optimize "a! over over nop a - and nop push a and nop pop over over nop or push and nop pop or push nop a and push nop a - and nop pop over over nop or push and nop pop or pop ." #:name "swap" #:num-bits 4 #:inst-pool `no-mem-no-p #:constraint (constraint s t));