×

Found 57 Software Packages (Results 1–57)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Referenced in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Casper

Software Authors:   Gavin Lowe / Oxford University Computing Laborator
Referenced in: 83 Publications (1999–2018)
Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Circus

Software Authors:   Woodcock, J.C.P., Cavalcanti, A.L.C.
Referenced in: 73 Publications (2002–2021)
Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-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)

FDR2

Software Authors:   Formal Systems
Referenced in: 45 Publications (2000–2016)
Related Software: SPIN; Z; Circus; ProBE; Casper; ProB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CUTGEN1

Software Authors:   Gau, T., Wäscher, G.
Referenced in: 45 Publications (1995–2022)
Related Software: OR-Library; CPLEX; Knapsack; Bison; CVRPSP; SCIP; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

FINDER

Software Authors:   John Slaney
Referenced in: 39 Publications (1993–2020)
Related Software: Mace4; SATCHMO; TPTP; OTTER; E-Darvin; Darwin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Referenced in: 38 Publications (2009–2021)
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)

Sugar

Software Authors:   Naoyuki Tamura
Referenced in: 26 Publications (2006–2021)
Related Software: MiniSat; MiniZinc; SATzilla; Gecode; clasp; Beam-ACO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Zinc

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

FDR3

Software Authors:   Thomas Gibson-Robinson; Philip Armstrong; Alexandre Boulgakov; Andrew W. Roscoe
Referenced in: 25 Publications (2014–2022)
Related Software: CADP; LTSmin; SPIN; FDR2; Esterel; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

csp2B

Software Authors:   Butler, Michael
Referenced in: 16 Publications (2000–2014)
Related Software: Circus; Rodin; Z; FDR2; LOTOS; ProB; …
Main Fields: Computer science (68-XX)

CSP-prover

Software Authors:   Isobe, Yoshinao; Roggenbach, Markus
Referenced in: 17 Publications (2005–2022)
Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

CCSP

Software Authors:   Arrowsmith, Beth; McMillin, Bruce
Referenced in: 13 Publications (1993–2010)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Referenced in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

ezcsp

Software Authors:   Balduccini, Marcello; Lierler, Yuliya
Referenced in: 11 Publications (2009–2021)
Related Software: Clingo; Clingcon; WASP; clasp; Gringo; GASP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-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)

Proteus

Software Authors:   Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry
Referenced in: 10 Publications (2015–2021)
Related Software: SATzilla; SUNNY; MiniZinc; SMAC; claspfolio 2; llama; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VHPOP

Software Authors:   Younes, H. L. S.; Simmons, R. G.
Referenced in: 10 Publications (2003–2021)
Related Software: Graphplan; PDDL; UCPOP; LPG; Walksat; SAPA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Exp.Open

Software Authors:   Frédéric Lang
Referenced in: 9 Publications (2006–2019)
Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; CAESAR; M-TREE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

RealPlan

Software Authors:   Srivastava, Biplav; Kombhampati, Subbarao; Do, Minh B.
Referenced in: 9 Publications (2001–2008)
Related Software: Graphplan; STAN; CPlan; Optiplan; CPLEX; SAPA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

occam-pi

Software Authors:   Welch, Peter H.; Barnes, Frederick R.M.
Referenced in: 6 Publications (2005–2021)
Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

AltAlt

Software Authors:   Romeo Sanchez Nigenda, XuanLong Nguyen, Subbarao Kambhampati
Referenced in: 6 Publications (2002–2009)
Related Software: Graphplan; STAN; SAPA; Walksat; PDDL; LPG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CLPS-B

Software Authors:   Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien
Referenced in: 2 Publications (2002–2009)
Related Software: ProB; jbtools; Rodin; XSB; FDR2; Oz; …
Main Fields: Computer science (68-XX)

dynASP

Software Authors:   Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
Referenced in: 7 Publications (2010–2022)
Related Software: Jdrasil; ToTo; Regina; Lparse; MiniSat; Gurobi; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Mistral

Software Authors:   Hebrard, E.
Referenced in: 7 Publications (2010–2021)
Related Software: Chaff; MiniZinc; ILOG SCHEDULE; Choco; iZplus; CAMA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SensorDCSP

Software Authors:   Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda
Referenced in: 4 Publications (2005–2020)
Related Software: DisChoco; CSPLib; PRMLT; Algorithm 97; CNCL; SATLIB
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ArcAngelC

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
Referenced in: 5 Publications (2010–2015)
Related Software: Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields: Computer science (68-XX)

BACP

Software Authors:   Lambert, Tony; Castro, Carlos; Monfroy, Eric; Riff, María Cristina; Saubion, Frédéric
Referenced in: 4 Publications (2005–2014)
Related Software: CSPLib; EasyLocal++
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

meSAT

Software Authors:   Stojadinović, Mirko; Marić, Filip
Referenced in: 6 Publications (2014–2022)
Related Software: Yices; SUNNY; Proteus; MiniZinc; SATzilla; Sugar; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ProBE

Software Authors:   Formal Systems
Referenced in: 4 Publications (2009–2016)
Related Software: FDR2; SPIN; Circus; Z; JACK; FDR3; …
Main Fields: Computer science (68-XX)

Azucar

Software Authors:   Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
Referenced in: 3 Publications (2014–2017)
Related Software: SATzilla; Sugar; Glucose; Gecode; Walksat; CSP2SAT4J; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FaMa

Software Authors:   D. Benavides, S. Segura, P. Trinidad, A. Ruiz-Cortes
Referenced in: 0 Publications
Related Software: SICStus; Tabu search; DesertFD; Z; AspectJ; fmp; …
Main Fields: Computer science (68-XX)

SIMPLY

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.
Referenced in: 5 Publications (2010–2020)
Related Software: MiniZinc; Yices; SMT-LIB; FlatZinc; MiniSat; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CSP2SAT4J

Software Authors:   Le Berre, D., Lynce, I.
Referenced in: 3 Publications (2014–2016)
Related Software: MiniZinc; Azucar; Proteus; clasp; WEKA; SATzilla; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CSPsim

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.
Referenced in: 4 Publications (2007–2009)
Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields: Computer science (68-XX)

fzn2smt

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.
Referenced in: 4 Publications (2012–2017)
Related Software: MiniZinc; Gecode; SCIP; Essence; COMET; FlatZinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

JCSP

Software Authors:   Welch, P. H.; Aldous, J. R.; Foster, J.
Referenced in: 1 Publication (2002)
Related Software: Circus; Z; KRoC
Main Fields: Computer science (68-XX)

Clafer

Software Authors:   –
Referenced in: 2 Publications (2017–2018)
Related Software: FAT; fmp2rsm; MTBDD; JFLAP; VATA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Concrete

Software Authors:   Julien Vion
Referenced in: 2 Publications (2018–2022)
Related Software: GitHub; STR2; Scala; MiniZinc
Main Fields: Computer science (68-XX)

cspy

Software Authors:   David Torres Sanchez
Referenced in: 0 Publications
Related Software: Python; OR-tools; CLP; NetworkX; VRPy; pylgrim
Main Fields:

Gelisp

Software Authors:   Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag
Referenced in: 1 Publication (2017)
Related Software: SPIN; ntccSim; Ntccrt; Rules2CP; OpenMusic; Kangaroo; …
Main Fields: Operations research, mathematical programming (90-XX)

HCSP

Software Authors:   Lawrence, Adrian E.
Referenced in: 2 Publications (1998–2017)
Related Software: HProver
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

OKlibrary

Software Authors:   Kullmann, O.
Referenced in: 2 Publications (2009–2014)
Related Software: Lingeling; PMSat; tawSolver; PicoSAT; PaMiraXT; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Copris

Software Authors:   Naoyuki Tamura
Referenced in: 0 Publications
Related Software: OscaR; Scarab; Sat4j; Scala; JaCoP
Main Fields: Computer science (68-XX)

CSP

Software Authors:   Hoare
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)

CSPConCheck

Software Authors:   Roy, Suman; Bihary, Sidharth; Laos, Jose Alfonso Corso
Referenced in: 0 Publications
Related Software: PAT
Main Fields: Computer science (68-XX)

dbcsp

Software Authors:   Itziar Irigoien, Concepción Arenas, Itsaso Rodríguez-Moreno
Referenced in: 0 Publications
Related Software: caret; OpenPose; dtw; R
Main Fields:

EvIA

Software Authors:   Bhavani, S.Durga; Pujari, Arun K.
Referenced in: 1 Publication (2004)
Related Software:
Main Fields: Computer science (68-XX)

ilustrado

Software Authors:   Matthew Evans
Referenced in: 0 Publications
Related Software: sumo; CASTEP; python-ternary; Spglib; OptaDOS; MongoDB; …
Main Fields:

JDD

Software Authors:   Vahidi, A.
Referenced in: 1 Publication (2021)
Related Software: BDD; SableJBDD; Sylvan; Rust; GitHub; CacBDD; …
Main Fields: Computer science (68-XX)

reverCSP

Software Authors:   Galindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador
Referenced in: 1 Publication (2020)
Related Software: CauDEr; Erlang; Graphviz
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

YOLOv4

Software Authors:   Alexey Bochkovskiy, Chien-Yao Wang, Hong-Yuan Mark Liao
Referenced in: 1 Publication (2021)
Related Software: TensorFlow; Faster R-CNN; EfficientDet; MobileNets; EfficientNet; Xception; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

constraint

Software Authors:   Niemeyer, G.
Referenced in: 0 Publications
Related Software:
Main Fields:

Hypergraph Library

Software Authors:   Ganzow, T., Gottlob, G., Musliu, N., Samer, M.
Referenced in: 0 Publications
Related Software:
Main Fields:

SCoRe

Software Authors:   Yu, T., R. Zhang, A. Polozov, C. Meek, A. H. Awadallah
Referenced in: 0 Publications
Related Software:
Main Fields: