The smt dialect already has smt.and , smt.or , and smt.xor for the standard boolean connectives from…
The smt dialect already has smt.and , smt.or , and smt.xor for the standard boolean connectives from…: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). The smt dialect already has smt.and, smt.or, and smt.xor for the standard boolean connectives from the Core theory of the…
The task
The smt dialect already has smt.and, smt.or, and smt.xor for the standard boolean connectives from the Core theory of the SMT-LIB 2.7 standard, but there's no operation for boolean implication (=>). I'm lowering some verification conditions to the smt dialect and need to…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.