src/utils.lisp @ 7eb23163afcf

Use cl-adt to massively simplify BDDs
author Steve Losh <steve@stevelosh.com>
date Sun, 21 Aug 2016 18:14:23 +0000
parents fba3d66a6a95
children 184af4c4e8fc
(in-package #:sand.utils)


(defun average4 (a b c d)
  (/ (+ a b c d) 4))