logic-ng / LogicNG / #103

Builds Branch Commit Type Ran Committer Via Coverage
#103 6348725bdcca638ac0070fb407163834806d37a6 changed configuration behaviour in CCEncoder push czengler pending completion   set done
#102 c7afcd236d4f68a00246d9bbfd67f7c669d64274 use the factory configuration for the CC encoder push czengler pending completion   set done
#101 3ef1b3cb715c2a5ecccbdba503cc0c51d9c73e2d reorganized cardinality constraints and made them configurable push czengler pending completion   set done
#100 810178e22aefaeebb7edecdb3db52a128fa09b62 added configuration object for CC encoders push czengler pending completion   set done
#99 bc438d36d1f010e9189ea57a4c1eda8d0682d184 fixed a few bugs in the binary merge encoding (still not working in all configurations) push czengler pending completion   set done
#98 9d76e6c44e697a8ad88596c3b7cf23437911ea8f refactored sorting network push czengler pending completion   set done
#97 4212e5c7d144b94601c7e42a320fa3287732b7c2 Fixed a bug in the cardinality networks push czengler pending completion   set done
#96 b212d1842151ff6cd77339694d39b6c5f8557f50 small changes in the CC package push czengler pending completion   set done
#95 274b61eef18ac542295a43e81ecf32f4ff571103 Bimanderr encoding for AMO constraints push czengler pending completion   set done
#94 95e648576767b5f425f7916b6f4ebc19099c51ed restored old AMO tests push czengler pending completion   set done
#93 7384fe97e38b90b5d8db4696f144fe4edd28d1ea Commander encoding for AMO constraints push czengler pending completion   set done
#92 e43723b959835126d19f3bfaf4c4b5760615e50f Nested encoding for AMO constraints push czengler pending completion   set done
#91 430405468c0935efea6f930451f980231bcedf7d Binary encoding for AMO constraints push czengler pending completion   set done
#90 795bb06d53814a14cf6b7546888269caae28d481 plain inserstion based MUS algorithm push czengler pending completion   set done
#89 eb95a822c7c7c3e60d3fcb50cbc11b50f39fc2f3 first naive MUS implementation push czengler pending completion   set done