# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0
PortGroup           nim 1.0

# No official releases/tags, using commit from Feb 2026
nim.vcs_revision    e63eaea8baf00bed8bcd5a29ffd8823abb265b39
nim.setup           github nim-lang sat ${nim.vcs_revision}
version             0.1.1
revision            0
categories          devel math
license             MIT
maintainers         nomaintainer

description         A SAT solver written in Nim
long_description    ${name} is a Boolean satisfiability (SAT) solver implementation \
                    written in Nim. SAT solvers determine whether logical formulas \
                    can be satisfied. This package is used by Atlas, Nim’s dependency \
                    management tool, for solving package dependency constraints.

checksums           rmd160  ef34a699db84e6775a07ed6f55865e4af4adfb60 \
                    sha256  0846607e21cc2980ce68325fc3b4acbf2ebe4c74cbc5ee1c459fbc2abaf72856 \
                    size    10245
