Admin/components/nonfree
author wenzelm
Sat, 17 Apr 2021 19:47:08 +0200
changeset 73590 1aa9ef7a3eaf
parent 69386 7bcad752857d
permissions -rw-r--r--
updated example;

#special components for internal testing only
yices-1.0.28