//! Maximal-lottery solvers.
//!
//! The [`LotterySolver`] trait is the extension point for algorithms that
//! compute a maximal lottery. This module provides [`CentroidSolver`], which
//! computes the exact centroid of all optimal strategies.
use crate;
pub use CentroidSolver;
/// A solver that computes a maximal lottery from a margin matrix.
///
/// Implementations are free to choose their numeric representation and
/// tie-breaking policy. For example, [`CentroidSolver`] computes the exact
/// centroid of all optimal strategies, while a floating-point LP solver
/// could return an approximate lottery.