Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
soft [2018/05/24 13:37]
jpms
soft [2018/11/01 21:18]
aign [Legacy Software]
Line 16: Line 16:
  
   * [[BBones | BBones]]: tool for backbone computation \\   * [[BBones | BBones]]: tool for backbone computation \\
-  * [[http://sat.inesc-id.pt/​~aign/​soft/​ | Bica]]: formula simplification tool (a replacement of Quine-McCluskey) \\+  * [[https://reason.di.fc.ul.pt/​~aign/​soft/​ | Bica]]: formula simplification tool (a replacement of Quine-McCluskey) \\
   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​cmmus | cmMUS]]: MUS-membership solver \\   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​cmmus | cmMUS]]: MUS-membership solver \\
   * [[doe | DOE ]]: MaxSAT encoding for model based diagnosis \\   * [[doe | DOE ]]: MaxSAT encoding for model based diagnosis \\
-  * [[http://sat.inesc-id.pt/​~aign/​soft/​ | Forqes]]: Smallest MUS extractor \\+  * [[https://reason.di.fc.ul.pt/​~aign/​soft/​ | Forqes]]: Smallest MUS extractor \\
   * [[el2mcs | EL2MCS]]: axiom pinpointing for the EL+ DL \\   * [[el2mcs | EL2MCS]]: axiom pinpointing for the EL+ DL \\
   * [[el2mus | EL2MUS]]: state of the art axiom pinpointing tool for the EL+ DL \\   * [[el2mus | EL2MUS]]: state of the art axiom pinpointing tool for the EL+ DL \\
Line 30: Line 30:
   * [[mcsxl | mcsXL]]: state of the art MCS extractor & enumerator \\   * [[mcsxl | mcsXL]]: state of the art MCS extractor & enumerator \\
   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​minibones/​ | minibones]]:​ state of the art backbone computation tool \\   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​minibones/​ | minibones]]:​ state of the art backbone computation tool \\
-  * [[http://sat.inesc-id.pt/​~aign/​soft/​ | MinUC]]: minimum unsatisfiable core finder \\+  * [[https://reason.di.fc.ul.pt/​~aign/​soft/​ | MinUC]]: minimum unsatisfiable core finder \\
   * [[MSUnCore | MSUnCore]]: MaxSAT solver \\   * [[MSUnCore | MSUnCore]]: MaxSAT solver \\
   * [[muschk | MUS checkers]]: utilities for testing/​verifying various MUSes \\   * [[muschk | MUS checkers]]: utilities for testing/​verifying various MUSes \\
Line 36: Line 36:
   * [[nc-MUSer | nc-MUSer]]: circuit MUS (gate- and wire-based) extractor \\   * [[nc-MUSer | nc-MUSer]]: circuit MUS (gate- and wire-based) extractor \\
   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​packup | PackUp]]: framework for package upgradability solving \\   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​packup | PackUp]]: framework for package upgradability solving \\
-  * [[http://sat.inesc-id.pt/​~aign/​soft/​ | PackUpHyb]]:​ hybrid package upgradability solving \\+  * [[https://reason.di.fc.ul.pt/​~aign/​soft/​ | PackUpHyb]]:​ hybrid package upgradability solving \\
   * [[primer | primer ]]: A prime implicants/​implicates enumerator \\   * [[primer | primer ]]: A prime implicants/​implicates enumerator \\
   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​areqs/​ | RAReQS]]: recursive abstraction refinement QBF solver \\   * [[http://​sat.inesc-id.pt/​~mikolas/​sw/​areqs/​ | RAReQS]]: recursive abstraction refinement QBF solver \\
Print/export