Discussions

• 1 You must be logged in to vote

  💬

  kissat problem with larger instances

  gsgs2 started Aug 21, 2024 in General

  

  

  6
• 3 You must be logged in to vote

  📣

  Welcome to kissat Discussions!

  arminbiere announced May 29, 2023 in Announcements

  

  

  2
• 1 You must be logged in to vote

  📣

  beginner's questions

  ticotica4 announced Nov 26, 2023 in Announcements

  

  

  

  

  11
• 2 You must be logged in to vote

  📣

  treewidth

  gsgs2 announced Dec 17, 2023 in Announcements

  

  

  

  

  17
• 1 You must be logged in to vote

  🙏

  Set time limit through Kissat API

  enhancement New feature or request

  zengjian-hu-rai asked Sep 29, 2023 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🙏

  the construction process of solver->watches

  kblkzl asked Sep 15, 2023 in Q&A · Unanswered

  

  

  2