All modules for which code is available

• ccobra.benchmark.benchmark
• ccobra.benchmark.comparators.absdiff
• ccobra.benchmark.comparators.equality
• ccobra.benchmark.comparators.nvc
• ccobra.benchmark.comparators.squareddiff
• ccobra.benchmark.contextmanager
• ccobra.benchmark.evaluation_handler
• ccobra.benchmark.evaluator
• ccobra.benchmark.modelimporter
• ccobra.benchmark.runner
• ccobra.comparator
• ccobra.data
• ccobra.encoder
• ccobra.encoders.response_encoder_identity
• ccobra.helper
• ccobra.item
• ccobra.model
• ccobra.propositional.resp_encoder_prop
• ccobra.propositional.task_encoder_prop
• ccobra.syllogistic.resp_encoder_syl
• ccobra.syllogistic.syllogism
• ccobra.syllogistic.task_encoder_syl
• ccobra.syllogistic_generalized.resp_encoder_sylgen
• ccobra.syllogistic_generalized.syllogism_gen
• ccobra.syllogistic_generalized.task_encoder_sylgen