Fork of Ki Yung Ahn's yices package version 0.0.0.12