Alloy Community

User login

Hard Alloy instances used in industry or academia

Home » Forums » Help » General Alloy Questions
 
Posted on: Wed, 09/02/2009 - 05:34
alexa
Joined: 2009-06-03
Points: 16
User is offline
Hard Alloy instances used in industry or academia
Dear all,

I am in an internship at UCL and I am working on evaluating some SAT algorithms on hard Alloy instances.
So far I have been using the instances I found on http://www.satcompetition.org/ .
I am particularly interested in Alloy instances (.als and .cnf) used by software engineers or any other kind of hard Alloy instances.
Would you please tell me where I can find some hard instances?

Any link or suggestion is welcome.

Regards,
Adriana Alexandru

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte