kissat

kissat 4.0.4 · pkgs/by-name/ki/kissat/package.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

4.0.4 no newer release in its git tags

Channels

master 4.0.4 · nixos-unstable 4.0.4 · nixos-26.05 4.0.4 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

'keep it simple and clean bare metal SAT solver' written in C

Long description

Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
It is a port of CaDiCaL back to C with improved data structures,
better scheduling of inprocessing and optimized algorithms and implementation.

Homepage

https://fmv.jku.at/kissat

License

MIT

Platforms

45 platforms: Linux, Darwin

Main program

kissat

Source provenance

not set: built from source

Outputs

out dev lib

Status

not broken, not insecure, free

Position

pkgs/by-name/ki/kissat/package.nix:13

Maintainers

shnarazk, chrjabs

Version bumps 0all open bumps

None open.

Pull requests 0

None open.

Closed or merged in the synced window 1

kissat: fix static build by setting AR for cross toolchains

#494085 by hakan-demirli · merged 7mo ago

Issues 0

None open.