ptival

Packages

Name Attribute Description
abc-20160818 nur.repos.ptival.abc A tool for sequential logic synthesis and formal verification
meslo-nerd-powerlevel10k-2.3.3 nur.repos.ptival.meslo-nerd-powerlevel10k A version of Appleā€™s Menlo-Regular font patched for Powerlevel10k
opensmt2-2.0.1 nur.repos.ptival.opensmt2 An SMT solver
sally-20190815 nur.repos.ptival.sally A model checker for infinite-state systems.