Discussions

• 1 You must be logged in to vote

  💡

  Encoding equality in direct encoding SAT

  YehorBoiar started Dec 19, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Documentation

  JamieASM started Nov 12, 2025 in General

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  Idea: use cargo chef for CI build caching

  gskorokhod started Nov 23, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  Expression display formatting clone question

  EdwardTheLegend asked Nov 11, 2025 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Grammar for Constraints

  Soph1514 asked Nov 9, 2025 in Q&A · Closed · Answered

  

  

  2
• 3 You must be logged in to vote

  💬

  Symbol Table gensym only creates decision variables from domains

  kbaatz started Nov 6, 2025 in General

  

  

  2
• 2 You must be logged in to vote

  💬

  Better code coverage tracking in CI

  area::ci Related to CI, coverage, Github, etc.

  ozgurakgun started Nov 6, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Change Comprehension AST to generating from expressions

  EdwardTheLegend started Nov 6, 2025 in General

  

  

  

  

  2
• 4 You must be logged in to vote

  🙏

  Function Coverage: Testing Macros

  kind::testing Testing and Correctness

  ca1umac asked Oct 9, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Handling .param files in the conjure-oxide CLI

  EdwardTheLegend asked Oct 9, 2025 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  conjure-cp-rules relating to grammar changes

  leiamcalisteryoung asked Oct 4, 2025 in Q&A · Closed · Answered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  Id on expected model for tests

  leiamcalisteryoung asked Oct 4, 2025 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  RFC: High-Level Representation Process

  gskorokhod started Oct 2, 2025 in Ideas

  

  

  0
• 5 You must be logged in to vote

  📣

  Welcome to conjure-oxide Discussions!

  ozgurakgun announced Oct 1, 2025 in Announcements

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Discussion: improving the developer onboarding documentation

  kind::discussion General discussion and high-level planning. planned

  niklasdewally started Nov 16, 2024 in General

  

  

  6