Module config 

Compilation configuration and strategy selection.

This module provides configurable compilation strategies for mapping logical operations to tensor operations. Different strategies optimize for different objectives (accuracy, efficiency, differentiability).

Structs

CompilationConfig

Complete compilation configuration.

CompilationConfigBuilder

Builder for custom compilation configurations.

Enums

AndStrategy

Strategy for compiling AND operations.

ExistsStrategy

Strategy for compiling existential quantifiers (∃).

ForallStrategy

Strategy for compiling universal quantifiers (∀).

ImplicationStrategy

Strategy for compiling implication (→).

ModalStrategy

Strategy for compiling modal logic operators (Box □, Diamond ◇).

NotStrategy

Strategy for compiling NOT operations.

OrStrategy

Strategy for compiling OR operations.

TemporalStrategy

Strategy for compiling temporal logic operators (Next X, Eventually F, Always G).