Frama-C:
Plug-ins:
Libraries:

Frama-C API - TacChoice

Built-in Choice, Absurd & Contrapose Tactical (auto-registered)

module Choice : sig ... end
module Absurd : sig ... end
module Contrapose : sig ... end