🥮 mooncakes.io
    Sign in

    pomegranate

    SAT solvers and a streaming DIMACS parser for MoonBit

    Download zip
    Version
    0.1.0
    License
    Apache-2.0
    Repository
    Last updated
    2 hours ago
    Downloads
    1

    #pomegranate

    A simple SAT solver written by MoonBit(haven't done yet).

    inspired by

    • EasySAT : https://github.com/shaowei-cai-group/EasySAT
    • varisat : https://jix.one/blog/refactoring-varisat/

    check_sat

    source
    fn check_sat(path : String, print_metrics? : Bool) -> Unit raise

    check_unsat

    source
    fn check_unsat(path : String, print_metrics? : Bool) -> Unit raise

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io