Abhishek C Sharma
Results
2
issues of
Abhishek C Sharma
Fixes #123
Adding a new IntSequence type to SuSLik. - Encoded to SMT using SMT Sequences - Some SSL rules were explicitly modified to allow synthesis with operations besides append. (https://github.com/TyGuS/suslik/commit/d185b4b6aa1d48edcc9d4e201124bc4b24ecb556)