search

FormalSAT / trestle

Apache License 2.0
17 stars 2 forks source link

release dev branch finally #11

Closed JamesGallicchio closed 7 months ago

JamesGallicchio commented 7 months ago

the achievement of a lifetime... the zenith of our efforts... the acme of lean x satisfiability crossovers...

This moves most of the cardinality encodings, and the old examples (which I quite liked!), into the experiments folder. Hopefully me or Cayden can chip away at getting the cardinality encodings back into core, and then we can get the fun examples back into the examples folder.

Before we release, I need to add a license, and make sure all files have copyright headers in them.

closes #7 #9

JamesGallicchio commented 7 months ago

@Vtec234 @ccodel could you both do a quick review of the licensing and readme? I'm happy with the state of dev now, so I'm gonna merge it to main once you both confirm this all looks good.

ccodel commented 7 months ago

ACK