Discussions

• 1 You must be logged in to vote

  🙏

  How is the decision level assigned of an externally created literal.

  ImkoMarijnissen asked Jul 24, 2025 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Understanding output

  uler3161 asked Apr 16, 2025 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Clearing only Heuristic values or only learned Conflict Clauses through the API.

  Horef asked Jan 28, 2025 in Q&A · Answered

  

  

  14
• 1 You must be logged in to vote

  🙏

  Adding time-limit for solver execution using API.

  Horef asked Jan 20, 2025 in Q&A · Answered

  

  

  4
• 4 You must be logged in to vote

  📣

  Welcome to cadical Discussions!

  arminbiere announced Jun 26, 2023 in Announcements

  

  

  

  

  15
• 1 You must be logged in to vote

  🙏

  Restricting the variables for branching

  jcoelho72 asked Jul 27, 2024 in Q&A · Closed · Answered

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  errors launching cadical

  ptero17 asked Nov 3, 2023 in Q&A · Closed · Unanswered

  

  

  1