Discussions

• 1 You must be logged in to vote

  💡

  IPASIR strings for options

  m-fleury started Mar 12, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Extracting statistics from the solver

  m-fleury started Oct 20, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  features I'd like to see ...

  mattginsberg started Oct 9, 2023 in Ideas · Closed

  

  

  4
• 1 You must be logged in to vote

  💬

  ipasir2 vs ipasir up

  barrettcw started Sep 30, 2023 in General · Closed

  

  

  

  

  4
• 2 You must be logged in to vote

  💬

  Draft: specification for concurrency support in IPASIR2

  fkutzner started Aug 21, 2023 in General · Closed

  

  

  4
• 1 You must be logged in to vote

  🙏

  Question: array or not array?

  Udopia asked Aug 18, 2023 in Q&A · Closed · Unanswered

  

  

  

  

  12
• 1 You must be logged in to vote

  💬

  non-redundant versus irredundant

  arminbiere started Sep 21, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  💬

  ipasir2_redundancy and meaning

  m-fleury started Sep 21, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  Configuration Interface: Settings for individual problem variables

  fkutzner started Oct 20, 2022 in Ideas · Closed

  

  

  2