Aman Goel comments

Repositories
Issues
Comments

Results 3 comments of


                                            Aman Goel

Question on Arrays (with extensionality)

Thanks Bruno. I have another related question: Is there a way to specify constant arrays (arrays with all indices mapped to a default value) using Yices C API? This is...

Assertion failed when using MathSAT as backend solver

Same comments as #15

[Bug report] Compiling generated Symbolic Java code FAILED!

Hi @PoorlyDefinedBehaviour . Thanks for trying out PSym! PSym currently does not support type-casting with the `any` data type. Try changing `var count: map[any, int];` to `var count: map[int, int];`.