Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
High Activity
4

Commits : Listings

  Analyzed 6 days ago based on code collected 6 days ago.
Showing page 1 of 94
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Provided the capability of change the value of a fixed variable : if user type vx=y and then vx=z, vx=y is forgotten instead of launching an error. To keep the old behavior, add the "-replacementForbidden" flag in the command line. Changes have made the scenario simulator incorrect ; it has been temporally removed. Anon32
lonca
More... 7 days ago
Added a manner to explain variable propagations. Added a way to explain last level decisions propagations/reductions, instead of root level only. Anon32
lonca
More... 7 days ago
Fixed a bug that may the application crash while in unsatExplanation() Anon32
lonca
More... 7 days ago
[no message] Anon32
lonca
More... 7 days ago
Quick fix for failing test. It might be better to reset the assumptions at each call to isSatisfiable(). Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Removed unused imports. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Removed unused imports. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
displaying one formula per line. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Added basic explanation support. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Allow the use of assumptions in the MUS calculator. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Translate unsatExplanation() into groups. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Take into account assumptions in the iterator. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Added a comment on hard clauses. Avatar
Daniel Le Berre
as leberre
More... 8 days ago
Added an example to add hard clauses when computing all musses. Avatar
Daniel Le Berre
as leberre
More... 9 days ago
Fix for SAT-105: the correction of the objective function was not applied when displaying the solution value. Avatar
Daniel Le Berre
as leberre
More... 13 days ago
Fix for SAT-104. Avatar
Daniel Le Berre
as leberre
More... 15 days ago
Fixed comments and removed debug display. Avatar
Daniel Le Berre
as leberre
More... 16 days ago
Using models instead of implicants. Avatar
Daniel Le Berre
as leberre
More... 16 days ago
Added a mechanism to handle options like -x=str or -y flags. An option is already defined to choose the backboneComputer : -backboneComputer={Default|AssumptionsBased}. Anon32
lonca
More... 16 days ago
Provide a new default backbone computer, which does not take advantage of assumptions. Anon32
lonca
More... 16 days ago
 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.