Versions Packages Information History Badges Report

Information for cadical

Versions

  • 06w
  • 1.5.2 (3)
  • 1.5.0
  • 1.4.1 (2)
  • 1.4.0
  • 1.3.0 (2)
  • 1.2.1
  • 1.0.3 (2)

Package names

  • cadical (6)

Repositories

Categories

  • Unspecified
  • math
  • sci-mathematics

Licenses

  • MIT (4)

Summaries

  • A simple CDCL satisfiability solver
  • Clean and efficient state-of-the-art SAT solver
  • Simple CDCL satisfiability solver
  • Simplified SAT solver
  • Simplified Satisfiability Solver (2)

Maintainers

All package recipes

Downloads

Build logs