×

Found 219 Software Packages (Results 1–100)

Ipopt

Software Authors:   Andreas Waechter, Carl Laird
Referenced in: 793 Publications (2005–2022)
Related Software: AMPL; SNOPT; SCIP; Bonmin; CPLEX; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SDPT3

Software Authors:   Toh, K.C.; Todd, M.J.; Tütüncü, R.H.
Referenced in: 698 Publications (1986–2022)
Related Software: SeDuMi; YALMIP; CVX; SDPA; CSDP; Mosek; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SCIP

Software Authors:   Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig
Referenced in: 555 Publications (2005–2022)
Related Software: CPLEX; MIPLIB; Gurobi; ANTIGONE; Ipopt; BARON; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

SNOPT

Software Authors:   Gill, Philip E.; Murray, Walter; Saunders, Michael A.
Referenced in: 547 Publications (1997–2022)
Related Software: Ipopt; KNITRO; LANCELOT; AMPL; MINOS; CUTEr; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BARON

Software Authors:   Sahinidis, Nikolaos V.
Referenced in: 369 Publications (1996–2023)
Related Software: GAMS; CPLEX; SCIP; ANTIGONE; LINDO; Ipopt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CSDP

Software Authors:   Borchers, Brian
Referenced in: 203 Publications (1999–2022)
Related Software: SeDuMi; SDPT3; SDPA; SDPLR; YALMIP; SDPLIB; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

NPSOL

Software Authors:   P. E. Gill, W. Murray, M. A. Saunders, M. H. Wright
Referenced in: 144 Publications (1984–2019)
Related Software: SNOPT; AMPL; OTIS; MINOS; Matlab; LANCELOT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

MINTO

Software Authors:   G.L. Nemhauser, M.W.P. Savelsbergh, G.S. Sigismondi
Referenced in: 135 Publications (1993–2021)
Related Software: CPLEX; ABACUS; MIPLIB; SCIP; OSL; AMPL; …
Main Fields: History and biography (01-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

FEASPUMP

Software Authors:   Fischetti, Matteo; Salvagnin, Domenico
Referenced in: 130 Publications (1979–2022)
Related Software: CPLEX; MIPLIB; MIPLIB2003; SCIP; Bonmin; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

NLPQL

Software Authors:   Schittkowski
Referenced in: 133 Publications (1986–2022)
Related Software: NPSOL; NLPQLP; LINGO; LINDO; SNOPT; QL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Oz

Software Authors:   Henz, M., Smolka, G., and Würtz, J.
Referenced in: 108 Publications (1994–2022)
Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

clasp

Software Authors:   Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Referenced in: 96 Publications (2007–2021)
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MiniZinc

Software Authors:   Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace)
Referenced in: 99 Publications (2008–2022)
Related Software: Gecode; CPLEX; SCIP; CHUFFED; Chaff; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Referenced in: 76 Publications (2007–2022)
Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CHIP

Software Authors:   Dincbas, M.; Simonis, H.; van Hentenryck, P.
Referenced in: 76 Publications (1989–2020)
Related Software: Oz; CPLEX; ILOG SCHEDULE; PSPLIB; OPL; MiniZinc; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ILOG SCHEDULE

Software Authors:   Le Pape, C
Referenced in: 74 Publications (1996–2022)
Related Software: CPLEX; JOBSHOP; CHIP; Tabu search; CP Optimizer; PSPLIB; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Referenced in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; SCIP; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Prolog

Software Authors:   Daniel Diaz
Referenced in: 56 Publications (1984–2020)
Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Referenced in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

SimpleMKL

Software Authors:   Rakotomamonjy, Alain; Bach, Francis R.; Canu, Stéphane; Grandvalet, Yves
Referenced in: 64 Publications (2008–2021)
Related Software: SHOGUN; LIBSVM; UCI-ml; SpicyMKL; SIFT; Mosek; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX)

Quaffle

Software Authors:   L. Zhang; S. Malik; SAT Research Group, Princeton University; Yinlei Yu
Referenced in: 62 Publications (2003–2021)
Related Software: Chaff; QUBOS; DepQBF; MiniSat; semprop; Bloqqer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Choco

Software Authors:   Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team
Referenced in: 60 Publications (2001–2022)
Related Software: Gecode; CPLEX; CLAIRE; MINION; MiniZinc; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CFSQP

Software Authors:   Lawrence, C.; J. Zhou; A. Tits
Referenced in: 57 Publications (1996–2020)
Related Software: SNOPT; CONOPT; Tabu search; Genocop; PROFIL/BIAS; INTOPT_90; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Referenced in: 56 Publications (2001–2022)
Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ciao

Software Authors:   Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.
Referenced in: 52 Publications (1999–2022)
Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SWI-Prolog

Software Authors:   Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.
Referenced in: 47 Publications (2001–2022)
Related Software: SICStus; ProbLog; B-Prolog; XSB; Aleph; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)

Outward rotations

Software Authors:   Zwick, U.
Referenced in: 45 Publications (1999–2021)
Related Software: CirCut; SeDuMi; SDPT3; COL; SDPLR; GloptiPoly; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Elf

Software Authors:   Frank Pfenning
Referenced in: 44 Publications (1989–2021)
Related Software: Nuprl; Twelf; Coq; Automath; Isabelle; Lolli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Referenced in: 39 Publications (2009–2022)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NLPQLP

Software Authors:   K Schittkowski
Referenced in: 40 Publications (2000–2020)
Related Software: NLPQL; QL; MISER3; CUTEr; SNOPT; NBI; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

TSPTW

Software Authors:   Focacci, Filippo; Lodi, Andrea; Milano, Michela
Referenced in: 39 Publications (2001–2022)
Related Software: LKH; VRP; TSPLIB; ILOG SCHEDULE; SCIL; SCIP; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OPL

Software Authors:   Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois
Referenced in: 35 Publications (2000–2022)
Related Software: SALSA; CHIP; AMPL; CPLEX; ILOG SCHEDULE; CSPLib; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QSDPNAL

Software Authors:   Li, X.D., Sun, D.F., Toh. K.-C.
Referenced in: 33 Publications (2016–2022)
Related Software: SDPNAL+; QSDP; Gurobi; CPLEX; Matlab; LIBSVM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

PARPAP

Software Authors:   Bertels, Stefan; Fahle, Torsten
Referenced in: 33 Publications (2006–2022)
Related Software: VRP; XPRESS; Hyperheuristics; VRPH; Gephi; Google Maps API; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Pueblo

Software Authors:   Sheini, Hossein M.; Sakallah, Karem A.
Referenced in: 33 Publications (1998–2021)
Related Software: MiniSat; Chaff; Sat4j; PBS; PicoSAT; MaxSolver; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ParaSCIP

Software Authors:   Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch
Referenced in: 30 Publications (2006–2022)
Related Software: SCIP; UG; MIPLIB; CPLEX; MIPLIB2003; XPRESS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

QUICKXPLAIN

Software Authors:   Junker, U.
Referenced in: 31 Publications (2008–2022)
Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CC-Pi

Software Authors:   Maria Grazia Buscemi, Ugo Montanari
Referenced in: 28 Publications (2007–2022)
Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SALSA

Software Authors:   Laburthe, Francois; Caseau, Yves
Referenced in: 30 Publications (2000–2017)
Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LSSPER

Software Authors:   Palpant, Mireille; Artigues, Christian; Michelon, Philippe
Referenced in: 24 Publications (2004–2020)
Related Software: PSPLIB; Scatter Search; PROGRESS; JOBSHOP; CSPLib; COMET; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ARMC

Software Authors:   Andreas Podelski, Andrey Rybalchenko
Referenced in: 25 Publications (2007–2020)
Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Zinc

Software Authors:   Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
Referenced in: 27 Publications (2005–2022)
Related Software: Essence; MiniZinc; Gecode; COMET; AMPL; ESRA; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

OR-tools

Software Authors:   Google; Perron, L.; Furnon, V.
Referenced in: 24 Publications (2013–2022)
Related Software: CPLEX; Gecode; MiniZinc; Gurobi; CHUFFED; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Visual MISER

Software Authors:   Yang, Feng; Teo, Kok Lay; Loxton, Ryan; Rehbock, Volker; Li, Bin; Yu, Changjun; Jennings, Leslie
Referenced in: 25 Publications (2016–2022)
Related Software: MISER3; NLPQLP; Ipopt; Theta*; SOCS; ACADO; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Referenced in: 23 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; COMET; MINION; Sugar; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

SDPEN

Software Authors:   G. Liuzzi, S. Lucidi, M. Sciandrone, K. Truemper
Referenced in: 22 Publications (2010–2022)
Related Software: DFL; NOMAD; DFBOX_IMPR; SDBOX; DFLBOX; OrthoMADS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ToulBar2

Software Authors:   Thomas Schiex; Simon de Givry; David Allouche
Referenced in: 22 Publications (2007–2020)
Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JaCoP

Software Authors:   Krzysztof Kuchcinski; Radoslaw Szymanek
Referenced in: 15 Publications (2007–2021)
Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; ILOG SCHEDULE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Mozart

Software Authors:   Peter Van Roy; Seif Haridi
Referenced in: 15 Publications (1999–2018)
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

FULPAL

Software Authors:   H. Rommelfanger
Referenced in: 19 Publications (1990–2017)
Related Software: PSPLIB; Genocop; RanGen; INFORM
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Operations research, mathematical programming (90-XX)

GASP

Software Authors:   Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
Referenced in: 17 Publications (2008–2021)
Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; …
Main Fields: Computer science (68-XX)

B-Prolog

Software Authors:   Afany Software
Referenced in: 16 Publications (2001–2018)
Related Software: XSB; SICStus; YAP-Prolog; SWI-Prolog; Gecode; Prolog; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Referenced in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

SQOPT

Software Authors:   P.E. Gill, W. Murray, M.A. Saunders
Referenced in: 18 Publications (2003–2020)
Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MOIP_AIRA

Software Authors:   Ozlen, Melih; Burton, Benjamin A.; MacRae, Cameron A. G.
Referenced in: 17 Publications (2014–2022)
Related Software: CPLEX; BENSOLVE; BOCBLP; MOEA/D; OR-Library; weightedHypervolume; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

OscaR

Software Authors:   OscaR Team
Referenced in: 16 Publications (2014–2021)
Related Software: Gecode; OR-tools; MiniZinc; COMET; MiniCP; Choco; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CPGraph

Software Authors:   Deville, Y., Dooms, G., Zampelli, S., Dupont, P.
Referenced in: 16 Publications (2005–2022)
Related Software: Cardinal; Gecode; Isabelle/HOL; Coq; sharpSAT; Lynx; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ICOS

Software Authors:   Lebbah, Y.
Referenced in: 16 Publications (2005–2021)
Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

LocalSolver

Software Authors:   Benoist, Thierry; Estellon, Bertrand; Gardi, Frédéric; Megel, Romain; Nouioua, Karim
Referenced in: 16 Publications (2010–2019)
Related Software: COMET; CPLEX; SCIP; OscaR; Gecode; MiniZinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SO-I

Software Authors:   Müller, Juliane; Shoemaker, Christine A.; Piché, Robert
Referenced in: 15 Publications (2014–2022)
Related Software: NOMAD; EGO; MLMSRBF; MISO; BFO; DFL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

CometBoards

Software Authors:   Gendy, A.S.; Patnaik, S.N.; Hopkins, D.A.; Berke, L.
Referenced in: 14 Publications (1996–2018)
Related Software: e04ucf; nag; NAG; CONLIN; NLPQL; MHOST; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FPROLOG

Software Authors:   Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W.
Referenced in: 12 Publications (1985–2017)
Related Software: FRIL; Ciao; DeLorean; Fuzzydl; FuzzyCLIPS; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Statistics (62-XX)

HIBISCUS

Software Authors:   Bourdais, S., Galinier, P., Pesant, G.
Referenced in: 12 Publications (2005–2021)
Related Software: CPLEX; Gurobi; Hyperheuristics; CHUFFED; OR-tools; Gecode; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

HYPROLOG

Software Authors:   Christiansen, Henning; Dahl, Veronica
Referenced in: 14 Publications (2005–2012)
Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

azove

Software Authors:   Behle, Markus
Referenced in: 13 Publications (2007–2021)
Related Software: PPL; PORTA; barvinok; lrs; LattE; CPLEX; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

ezcsp

Software Authors:   Balduccini, Marcello; Lierler, Yuliya
Referenced in: 12 Publications (2009–2021)
Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

IBEX

Software Authors:   Chabert, G; Ninin, Jordan
Referenced in: 13 Publications (2009–2022)
Related Software: Numerica; PROFIL/BIAS; filib++; IbexOpt; RealPaver; gaol; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

ESRA

Software Authors:   Flener, Pierre; Pearson, Justin; Ågren, Magnus
Referenced in: 11 Publications (2004–2022)
Related Software: Essence; Zinc; AMPL; NP-SPEC; CSPLib; MiniZinc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SparseCoLO

Software Authors:   K. Fujisawa, S. Kim, M. Kojima, Y. Okamoto, M. Yamashita
Referenced in: 12 Publications (2010–2021)
Related Software: SeDuMi; SDPT3; SDPLIB; SparsePOP; SFSDP; SCS; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

SUNNY

Software Authors:   Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Referenced in: 12 Publications (2014–2021)
Related Software: SATzilla; MiniZinc; Proteus; sunny-cp; aspeed; SMAC; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VSDP

Software Authors:   V. Härter; C. Jansson; M. Lange
Referenced in: 12 Publications (2009–2019)
Related Software: Mosek; SeDuMi; YALMIP; SDPT3; SDPA; CSDP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ATGen

Software Authors:   Christophe Meudec
Referenced in: 5 Publications (2005–2012)
Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; …
Main Fields: Computer science (68-XX)

Cassowary

Software Authors:   Greg J. Badros, Alan Borning, Peter J. Stuckey
Referenced in: 9 Publications (2005–2018)
Related Software: QOCA; HiRise; Skyblue; linprog; Matlab; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Helios

Software Authors:   Laurent Michel, Pascal Van Hentenryck
Referenced in: 10 Publications (1997–2015)
Related Software: AMPL; Newton; FleetWave; Skyblue; Mozart; QOCA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Juno-2

Software Authors:   Allan Heydon; Greg Nelson
Referenced in: 11 Publications (1996–2004)
Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; …
Main Fields: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX)

LOUI

Software Authors:   J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, V. Sorge
Referenced in: 9 Publications (2002–2021)
Related Software: TPTP; Coq; PVS; HOL; Omega-ANTS; Nuprl; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

NAPHEAP

Software Authors:   Davis, Timothy A.; Hager, William W.; Hungerford, James T.
Referenced in: 11 Publications (2014–2022)
Related Software: SPG; ALGENCAN; Knapsack; CSparse; symrcm; SparseMatrix; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

sCASP

Software Authors:   Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Referenced in: 10 Publications (2018–2022)
Related Software: Clingo; GASP; ezcsp; SQuAD; StanfordCoreNLP; DLV-EX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

SIMPL

Software Authors:   Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H.
Referenced in: 11 Publications (2004–2018)
Related Software: SCIP; SCIL; MIPLIB; CPLEX; XPRESS; Mosel; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

VeriMAP

Software Authors:   De Angelis E, Fioravanti F, Pettorossi A, Proietti M
Referenced in: 10 Publications (2015–2021)
Related Software: z3; SeaHorn; TRACER; ARMC; HSF; Datalog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

aspeed

Software Authors:   Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
Referenced in: 10 Publications (2012–2020)
Related Software: SATzilla; SMAC; Paramils; SUNNY; MiniZinc; llama; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Cardinal

Software Authors:   Azevedo, Francisco
Referenced in: 10 Publications (2007–2020)
Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

IDP3

Software Authors:   Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Referenced in: 9 Publications (2015–2020)
Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PSICO

Software Authors:   Krippahl, Ludwig; Barahona, Pedro
Referenced in: 9 Publications (2002–2017)
Related Software: COCONUT; GLOPTLAB; BARON; INTLAB; ICOS; InC++; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RAMP

Software Authors:   Rego, César
Referenced in: 10 Publications (2005–2021)
Related Software: Tabu search; Knapsack; Scatter Search; MENU-OKF; MOD-DIST; SITATION; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

SCIL

Software Authors:   Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
Referenced in: 9 Publications (2002–2018)
Related Software: SCIP; SIMPL; MIPLIB; CPLEX; MiniZinc; TSPTW; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

STR2

Software Authors:   Christophe Lecoutre
Referenced in: 10 Publications (2011–2018)
Related Software: MiniZinc; Chaff; Concrete; GitHub; Scala; maxRPWC+; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FlatZinc

Software Authors:   Guido Tack, Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace
Referenced in: 9 Publications (2010–2020)
Related Software: MiniZinc; SCIP; Gecode; GitHub; COMET; SIMPLY; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

IPSep-CoLa

Software Authors:   Dwyer, T., Koren, Y., Marriott, K.
Referenced in: 7 Publications (2007–2016)
Related Software: Dunnart; PyGtk; XGobi; Orca; Adaptagrams; rcola; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

L2CXFT

Software Authors:   Demetriou, I.C.
Referenced in: 8 Publications (1995–2014)
Related Software: FITPACK; ZQPCVX; CXFTV2; L2CXCV; TOLMIN; SAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

LMNtal

Software Authors:   Ueda, Kazunori
Referenced in: 8 Publications (2005–2013)
Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

MCS

Software Authors:   Le Huédé, F.; Grabisch, M.; Labreuche, C.; Savéant, P.
Referenced in: 9 Publications (1997–2017)
Related Software: M-MACBETH; FIRBS; Hyperheuristics; Tabu search; ToOLS; GOAL; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Numerical analysis (65-XX)

NumberJack

Software Authors:   Barry O'Sullivan; Eoin O'Mahony; Emmanuel Hebrard
Referenced in: 7 Publications (2013–2018)
Related Software: MiniZinc; ToulBar2; SUNNY; SATzilla; Essence; Gecode; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PAGP

Software Authors:   Arthur, Jeffrey L.; Ravindran, A.
Referenced in: 9 Publications (1980–2011)
Related Software: MIPLIB2003; MIPLIB; PariTOP; PGB
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

DiSCiPl

Software Authors:   –
Referenced in: 7 Publications (2007–2016)
Related Software: COMET; Oz Explorer; VIFID/TRIFID; CHIP; CHUFFED; SATGraf; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FiberSCIP

Software Authors:   Y Shinano, S Heinz, S Vigerske, M Winkler
Referenced in: 7 Publications (2015–2018)
Related Software: ParaSCIP; UG; SCIP; PEBBL; MIPLIB2003; SCIP-Jack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

JSetL

Software Authors:   Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others
Referenced in: 4 Publications (2009–2021)
Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MathOptInterface.jl

Software Authors:   Benoit Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin
Referenced in: 6 Publications (2021–2022)
Related Software: Julia; JuMP; Gurobi; Mosek; Pyomo; CPLEX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

miniKanren

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 8 Publications (2008–2022)
Related Software: KANREN; Hakaru; TOY; Church; Mercury; PITA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

OPALQP

Software Authors:   Bartholomew-Biggs, M.C.; de F.G.Hernandez, M.
Referenced in: 8 Publications (1994–2020)
Related Software: L-BFGS; LANCELOT; ve08; MINOS; NLPLSQ; JuliaSmoothOptimizers; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)