Katalog-Tag

#sat-solver

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

4 Einträge

Getaggt als „sat-solver“Geordnet nach Gesundheitsindex

Hex

84ExzellentGesundheitsindex

ash-project/crux

Library for boolean satisfiability solving and expression manipulation.

Elixir★ 13↓ 101.6K/Monat9. Sept. 2026

Eigene Lizenz9. Sept. 2026 · Metriken 2.10.0

npm

63MittelGesundheitsindex

MiniZinc/minizinc-js

Use MiniZinc in the browser or with NodeJS

JavaScript★ 62↓ 13.5K/Monat15. Sept. 2026

MPL-2.015. Sept. 2026 · Metriken 2.10.0

Go

44SchwachGesundheitsindex

contriboss/pubgrub-go

A comprehensive Go implementation of the PubGrub version solving algorithm with CDCL, semantic versioning, and enhanced error reporting

Go★ 723. Aug. 2026

Apache-2.023. Aug. 2026 · Metriken 2.10.0

Go

42SchwachGesundheitsindex

xDarkicex/logic

Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.

Go★ 09. Sept. 2026

MIT9. Sept. 2026 · Metriken 2.10.0