• SOFTSUSY

  • Referenced in 80 articles [sw01415]
  • equations with theoretical constraints on soft supersymmetry breaking terms provided by the user. Weak-scale ... well as successful radiative electroweak symmetry breaking. The program can also calculate a measure...
  • Gecode

  • Referenced in 65 articles [sw06272]
  • engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more. efficient...
  • SuSpect

  • Referenced in 25 articles [sw00933]
  • anomaly (AMSB) or gauge (GMSB) mediated supersymmetry breaking models, but also in the non-universal ... consistent implementation of radiative electroweak symmetry breaking and the calculation of the physical masses ... large fine-tuning in the electroweak symmetry breaking condition, as well as agreement with precision...
  • Superiso

  • Referenced in 20 articles [sw00929]
  • program for calculating the isospin symmetry breaking in B→K * γ decays in the MSSM ... factorization method. We show that isospin symmetry breaking proves to be a very restrictive observable...
  • Kodkod

  • Referenced in 25 articles [sw07090]
  • specifying partial solutions, an effective symmetry detection and breaking scheme, and an economical translation from ... addressed with three new techniques: a symmetry detection algorithm that works in the presence...
  • Shatter

  • Referenced in 6 articles [sw21225]
  • Shatter: efficient symmetry-breaking for boolean satisfiability. Boolean satisfiability (SAT) solvers have experienced dramatic improvements ... theoretical framework for detecting and breaking such symmetries was introduced in [2]. This framework ... space are broken by adding appropriate symmetry-breaking predicates (SBPs) to a SAT instance ... satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational...
  • TACO

  • Referenced in 7 articles [sw07668]
  • efficient sat-based bounded verification using symmetry breaking and tight bounds SAT-based bounded verification ... instrument code analysis with a symmetry-breaking predicate which, on one hand, reduces the size...
  • FlexibleSUSY

  • Referenced in 8 articles [sw20846]
  • renormalization group equations (RGEs) and electroweak symmetry breaking (EWSB) conditions and combines them with numerical...
  • SymChaff

  • Referenced in 6 articles [sw00938]
  • many limitations of alternative approaches like symmetry breaking predicates, implicit pseudo-Boolean representations, general group...
  • SUSEFLAV

  • Referenced in 4 articles [sw09546]
  • computing supersymmetric spectra precisely for various supersymmetric breaking scenarios applicable even in the presence ... MSSM parameters by incorporating radiative electroweak symmetry breaking conditions. The program also incorporates the Type...
  • AllDifferent

  • Referenced in 4 articles [sw08967]
  • global constraint including instruction scheduling and symmetry breaking. We give an efficient propagation algorithm that...
  • SWARM

  • Referenced in 4 articles [sw14938]
  • algorithms. Viz. List ranking, Prefix sums, Symmetry breaking...
  • CleGo

  • Referenced in 3 articles [sw06831]
  • interest for instance in discussing symmetry breaking in model building for grand unified theories...
  • reduce

  • Referenced in 2 articles [sw31512]
  • Reduce - A tool for symmetry breaking. This git repository contains the C++ source code ... experimental software implementation of adaptive prefix-assignment symmetry reduction; cf. T. Junttila, M. Karppa...
  • MCMIN

  • Referenced in 1 article [sw10809]
  • Monte Carlo optimization applied to symmetry breaking. The authors present a Monte Carlo optimization algorithm ... which is important in determining the symmetry breaking directions in the Higgs potential...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • compact Lie groups. The principle of symmetry breaking allows to decompose in a unique...
  • SPICE

  • Referenced in 2 articles [sw14773]
  • mediated supersymmetry breaking, and anomaly-mediated supersymmetry breaking supplemented by a universal scalar mass ... from specifying charges of fields under horizontal symmetries to completely specifying all flavor-violating parameters...
  • QuSpin

  • Referenced in 2 articles [sw23897]
  • supporting the use of various (user-defined) symmetries in one and higher dimension and (imaginary ... Gross-Pitaevskii equation, (vi) integrability breaking and thermalizing dynamics in the translationally-invariant 2D transverse...
  • BEMLIB

  • Referenced in 106 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ANSYS

  • Referenced in 681 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...