package btor
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class Btor2Witness(failed: Seq[Int], regInit: Map[Int, BigInt], memInit: Map[Int, Seq[(Option[BigInt], BigInt)]], inputs: Seq[Map[Int, BigInt]]) extends Product with Serializable
- class BtormcModelChecker extends IsModelChecker
Value Members
- object Btor2ModelChecker
- object Btor2WitnessParser