fixed bug when discovering new constants after a substrate query
TODO xml queries *don't work* with fresh variables in Z3 engine
↧
Channel:
DKAL
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: DKAL
- Channel Number: 6847317
- Language: English
- Registered On: December 20, 2012, 11:46 pm
- Number of Articles: 148
- Latest Snapshot: November 20, 2017, 6:18 pm
- RSS URL: http://dkal.codeplex.com/project/feeds/rss
- Publisher: http://dkal.codeplex.com/project/feeds/rss
- Description: DKAL is a distributed authorization policy language. This project contains an engine for running...
- Catalog: //primarly1.rssing.com/catalog.php?indx=6847317
© 2025 //www.rssing.com