diff --git a/build-all b/build-all
index 6c513bf..b24259a 100755
--- a/build-all
+++ b/build-all
@@ -45,6 +45,12 @@ dbg_retrieve() {
  && podman build -t notwa-util notwa-util \
  && podman build -t cosmo cosmo \
  && podman build -t cosmo-kuroko cosmo-kuroko \
+ && podman build -t cosmo-yices cosmo-yices \
 \
  && dbg_retrieve cosmo-kuroko /bin/kuroko.com \
+ && dbg_retrieve cosmo-yices /bin/kissat.com \
+ && dbg_retrieve cosmo-yices /bin/yices-sat.com \
+ && dbg_retrieve cosmo-yices /bin/yices-smt.com \
+ && dbg_retrieve cosmo-yices /bin/yices-smt2.com \
+ && dbg_retrieve cosmo-yices /bin/yices.com \
 ;