This is an update to a later mercurial snapshot. Changes include: - Returning multiple counter-examples. - Implementation of CE extraction for multiple MUXes driving D-inputs of FFs - Organizing commands for barbuf-aware flow. - Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t. - New assertions and bug fix in DSD balancing. - Pre-processing for multi-output PLA tables. - Major rehash of the CBA code. - Added SMT parser for Wlc_Ntk_t. - Adding resource limits to fx and sop. - Modifications to read SMTLIB file from stdin. - Adding switch -x to command &fadds. - Experiments with SAT-based cube enumeration.
sudo dnf upgrade --advisory=FEDORA-2015-3414
Please login to add feedback.