Download ·

Table of Contents

Latest Version #

The latest build can always be found on GitHub, but we also provide a version of the library here. Further below, you can find all the previously released versions of dejavu.

GitHub Project Download dejavu 2.0preview2

🚧 This is a beta version! Please feel free to reach out to me if you find anything that seems peculiar.

Cite #

If you use dejavu in your research projects, please cite our paper from ESA 2021.

@inproceedings{DBLP:conf/esa/AndersS21,
  author       = {Markus Anders and
                  Pascal Schweitzer},
  title        = {Parallel Computation of Combinatorial Symmetries},
  booktitle    = {29th Annual European Symposium on Algorithms, 
                  {ESA} 2021, September 6-8, 2021, Lisbon, Portugal 
                  (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {204},
  pages        = {6:1--6:18},
  publisher    = {Schloss Dagstuhl - 
                  Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ESA.2021.6},
  doi          = {10.4230/LIPIcs.ESA.2021.6},
}

If you use dejavu as a preprocessor (i.e. sassy), please cite our paper from SEA 2023.

@article{DBLP:journals/corr/abs-2302-06351,
  author       = {Markus Anders and
                  Pascal Schweitzer and
                  Julian Stie{\ss}},
  title        = {Engineering a Preprocessor for Symmetry Detection},
  journal      = {CoRR},
  volume       = {abs/2302.06351},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.06351},
  doi          = {10.48550/arXiv.2302.06351},
  eprinttype    = {arXiv},
  eprint       = {2302.06351}
}

Here is a list of all the publications which describe the design of dejavu and sassy.

Title	Description	Published at
Engineering a Preprocessor for Symmetry Detection	symmetry detection preprocessor (w/ Julian Stieß)	SEA2023
Parallel Computation of Combinatorial Symmetries	main dejavu algorithm for automorphism search	ESA2021
Engineering a Fast Probabilistic Isomorphism Test	individual isomorphism solver based on Monte Carlo search	ALENEX2021
Search Problems in Trees with Symmetries	theoretical foundations for the near-optimal Monte Carlo search	ICALP2021

Bug Reports 🪳 #

If you come across any bugs or have any feedback to share, please feel free to reach out to me at markus.anders (at) tu-darmstadt.de.

All versions #

Here is a list of all current and older versions of dejavu and sassy. At this point, all versions starting from dejavu 2.0 onwards neither contain the solver for individual isomorphism testing, nor parallelization.

Version	Remarks
dejavu 2.0preview2	Current version (19.09.2023).
dejavu 2.0preview1	Older preview version (13.09.2023).
dejavu 2.0preview0	Older preview version (28.06.2023).
sassy 1.1	Preprocessor (included into dejavu starting from version 2.0).
dejavu 1.2	Documentation & guides on this site do not apply to this version.
dejavu 1.1	Documentation & guides on this site do not apply to this version.
dejavu 1.0	Documentation & guides on this site do not apply to this version.