add axioms to pref_voting front page.

Author: epacuit

docs/source/conf.py

@@ -22,7 +22,7 @@
 author = 'Wes Holliday and Eric Pacuit'
 
 # The full version, including alpha/beta/rc tags
-release = '1.17.2'
+release = '1.17.4'
 html_extra_path = ['../../axiom_tables']
 
 

docs/source/index.rst

@@ -42,6 +42,25 @@ Wesley H. Holliday and Eric Pacuit (2025). pref_voting: The Preferential Voting
      doi = {10.21105/joss.07020}
    }
 
+Axiom Satisfaction/Violation Database
+------------------------
+
+We maintain a database showing whether various voting methods satisfy or violate various axioms: 
+
+* <a href="axiom_violations_dominance_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_dominance_axioms_profilewithties.html">Profile with Ties</a>
+* <a href="axiom_violations_invariance_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_invariance_axioms_profilewithties.html">Profile with Ties</a>
+* <a href="axiom_violations_monotonicity_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_monotonicity_axioms_profilewithties.html">Profile with Ties</a>
+* <a href="axiom_violations_strategic_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_strategic_axioms_profilewithties.html">Profile with Ties</a>
+* <a href="axiom_violations_variable_candidate_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_variable_candidate_axioms_profilewithties.html">Profile with Ties</a>
+* <a href="axiom_violations_variable_voter_axioms_profile.html">Profile</a>
+* <a href="axiom_violations_variable_voter_axioms_profilewithties.html">Profile with Ties</a>
+
+
 Related resources
 ------------------------
 

pref_voting/__init__.py

@@ -1 +1 @@
-__version__ = '1.17.2'
+__version__ = '1.17.4'

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pref_voting"
-version = "1.17.2"
+version = "1.17.4"
 description = "pref_voting is a Python package that contains tools to reason about elections and margin graphs, and implementations of voting methods."
 authors = ["Eric Pacuit <[email protected]>", "Wes Holliday <[email protected]>"]
 license = "MIT"