OCEAN Documentation
===================

OCEAN provides exact counterfactual explanations for tree ensembles through
three interchangeable optimization backends: mixed-integer programming,
constraint programming, and weighted MaxSAT.

The guide below starts with the common workflow, then goes deeper into data
preparation, backend-specific behavior, and worked examples.

.. toctree::
   :maxdepth: 2
   :caption: User Guide

   overview
   modelisation
   low-level-api
   installation
   quickstart
   visual-examples
   isolation-forest-example
   data-preparation
   explainer-guide
   custom-dataset

.. toctree::
   :maxdepth: 2
   :caption: API Reference

   api/index