Issues

• Feature: Tseytin transformation for converting arbitrary propositional formulas to CNF

  encodingsenhancementhelp wanted
  chrjabs/rustsat#613 · Filter by author AzeezDa opened on Feb 28, 2026
  1

• CaDiCaL user propagators via IPASIR-UP

  solvers/cadical
  chrjabs/rustsat#587 · Filter by author chrjabs opened on Feb 1, 2026 · Version 0.8.0

• Redesign encoding APIs

  encodings
  chrjabs/rustsat#578 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Get rid of anyhow

  chrjabs/rustsat#577 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• CaDiCaL IPASIR-UP interface

  solvers/cadical
  chrjabs/rustsat#575 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Redesign CaDiCaL prooftracer API

  solvers/cadical
  chrjabs/rustsat#574 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate Batsat to new solver API

  solvers/batsat
  chrjabs/rustsat#573 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate IPASIR to new solver API

  solvers
  chrjabs/rustsat#572 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate CaDiCaL to new solver API

  solvers/cadical
  chrjabs/rustsat#571 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate Kissat to new solver API

  solvers/kissat
  chrjabs/rustsat#570 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate Glucose to new solver API

  solvers/glucose
  chrjabs/rustsat#569 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate Minisat to new solver API

  solvers/minisat
  chrjabs/rustsat#568 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Migrate solver tests to new API

  solvers
  chrjabs/rustsat#567 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Design new typestate solver API

  solvers
  chrjabs/rustsat#566 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0
  1

• Typestate API for solvers

  solvers
  chrjabs/rustsat#565 · Filter by author chrjabs opened on Jan 24, 2026 · Version 0.8.0

• Bit-blasting encodings

  encodingsenhancement
  chrjabs/rustsat#558 · Filter by author marceline-cramer opened on Jan 19, 2026
  3

• Calling reserve on BinaryAdder does not reserve all variables

  encodings
  chrjabs/rustsat#260 · Filter by author chrjabs opened on Feb 3, 2025

• Dependency Dashboard

  chrjabs/rustsat#210 · Filter by author renovate opened on Dec 18, 2024

• Add Python interface to solvers

  enhancementpython-apisolvers
  chrjabs/rustsat#60 · Filter by author chrjabs opened on Jan 17, 2024

• Get solvers to build under windows

  bugsolvers
  chrjabs/rustsat#50 · Filter by author chrjabs opened on Jan 8, 2024
  9

  

• Add sequential counters encoding

  encodingsenhancement
  chrjabs/rustsat#4 · Filter by author chrjabs opened on Sep 19, 2022
  2