🥮 mooncakes.io
    Sign in

    sat-solver

    An SAT solver for Moonbit.

    SAT
    CDCL
    Download zip
    Author
    Version
    0.1.2
    License
    GPL-3.0-or-later
    Repository
    Last updated
    last year
    Downloads
    48

    No dependencies

    #AdUhTkJm/sat-solver

    这是一个 SAT 求解器.

    它使用 CDCL 算法求解 SAT (布尔可满足性) 问题, 支持自动解析 DIMACS CNF 格式, 也支持手动指定变量、添加子句.

    注意: 它只能在 native 后端使用.

    这个 SAT 求解器是模块主页所指向的编译器的一部分.

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io