Discussions

• 1 You must be logged in to vote

  🙏

  Learning invariants for several instances of a node

  remigerme asked Dec 5, 2025 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Kind2 as a Rust transpiler.

  omrischwarz asked Mar 19, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Output of KIND2

  kumori123 asked Sep 5, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Issues on array construction

  kumori123 asked Aug 30, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Is KIND2 supports bitwise operators?

  kumori123 asked Aug 15, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can I use Kind 2 Java API in Maven to build just a normal lustre program as a controller ?

  Atmanuclear asked Mar 6, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Could kind2 run on windows without WSL?

  kumori123 asked Dec 6, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Identifier of lustre grammar in KIND2

  kumori123 asked Nov 10, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Support automaton

  kumori123 asked Nov 7, 2022 in Q&A · Answered

  

  

  4