Skip to content

FeepingCreature
Compare
Choose a tag to compare
@wsc1 wsc1 released this 01 Jun 14:15
· 110 commits to master since this release
v0.9.0
5106795

Release FeepingCreature adds the following features to gini

  • cardinality constraints via sorting networks
  • aiger v1.9 format support

Additionally, some cleanup and interface extensions occurred

  • package gini/gen uses inter.Adder now instead of redefining an equivalent interface
  • the solver interface gained a Lit() method to generate a new variable and return the
    positive literal associated with it. For convenience and compatibility, this method does not
    need to be called to have variables, one can always just send a stream of variable references
    and the solvers will work fine. However, in some contexts, one needs to know how to generate
    a fresh variable, and Lit() supports that.
Assets 2
Loading