{"name":"abc","version":"0.0-1-5ae4b975c","synopsis":{"source":"Sequential logic synthesis and formal verification","html":"
Sequential logic synthesis and formal verification
","plain":"Sequential logic synthesis and formal verification\n\n","locale":"en_US.UTF-8"},"description":{"source":"ABC is a program for sequential logic synthesis and\nformal verification.","html":"
ABC is a program for sequential logic synthesis and formal verification.
","plain":"ABC is a program for sequential logic synthesis and formal verification.\n\n","locale":"en_US.UTF-8"},"home-page":"http://people.eecs.berkeley.edu/~alanmi/abc/","derivations":[{"system":"x86_64-linux","target":"","derivation":"/gnu/store/9jfpcxw031qv11070l8f9a6hcxik9qgg-abc-0.0-1-5ae4b975c.drv","outputs":[{"name":"out","path":"/gnu/store/dy4gbdycqmgqm0kq9j9x2waaz05fxlf4-abc-0.0-1-5ae4b975c","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[{"hash":{"algorithm":"sha256","value":"1nygsgbziqzblkxlrnfq1wkdk16ahcwmmk85fppps944929s6v63"},"size":13575968}]}]},{"system":"i686-linux","target":"","derivation":"/gnu/store/vxj1vqfpafkwz92hgsvbkpj4b4g0vgc6-abc-0.0-1-5ae4b975c.drv","outputs":[{"name":"out","path":"/gnu/store/g3vmhv2jkvy43g3mhajrnmdnwjnsssc1-abc-0.0-1-5ae4b975c","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[{"hash":{"algorithm":"sha256","value":"1xfzv1jgy3rjawvbi0q0nqzp75bzykvvak2ppk9da56l34qddnbn"},"size":15581712}]}]}]}