all options
trixie  ] [  forky  ] [  sid  ]
[ Source: kissat  ]

Package: kissat (4.0.3-2 and others)

Links for kissat

Screenshot

Debian Resources:

Download Source Package kissat:

Maintainers:

External Resources:

Similar packages:

Hold det simpelt og pænt - bare metal SAT-løser

Kissat er en »hold det simpelt og bare metal SAT-løser« skrevet i C. Det er en omkodning af CaDiCal tilbage til C med forbedrede datastrukturer, bedre planlægning af indvendig behandling og optimerede algoritmer og implementering.

Denne pakke indeholder binære filer krævet for at bruge Kissat som et uafhængigt værktøj.

Other Packages Related to kissat

  • depends
  • recommends
  • suggests
  • enhances

Download kissat

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 4.0.3-2 388.2 kB1,095.0 kB [list of files]
arm64 4.0.3-2+b1 323.9 kB981.0 kB [list of files]
armhf 4.0.3-2 344.4 kB787.0 kB [list of files]
i386 4.0.3-2 374.5 kB1,138.0 kB [list of files]
ppc64el 4.0.3-2 361.8 kB1,172.0 kB [list of files]
riscv64 4.0.3-2 368.6 kB839.0 kB [list of files]
s390x 4.0.3-2 352.6 kB984.0 kB [list of files]