Index of /current_tree/proofs

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Dietz_EN.tex            2025-10-16 18:28  2.5K  
 ITE_equiv.smt           2020-07-05 19:43  507   
 ITE_equiv_EN.tex        2025-10-16 18:28  468   
 XOR_EN.tex              2025-10-16 18:28  6.4K  
 XOR_SAT/                2025-10-16 18:28    -   
 XOR_swap.smt            2025-10-16 18:28  802   
 XOR_swap2.smt           2025-10-16 18:28  831   
 XOR_swap_EN.tex         2021-04-19 21:30  687   
 abs.smt                 2020-07-05 19:43  529   
 abs_EN.tex              2021-04-19 21:30  188   
 bitrev/                 2025-10-16 18:28    -   
 bvashr.smt              2025-10-16 18:28  513   
 bvashr_EN.tex           2025-10-16 18:28  3.3K  
 floor_ceiling.tex       2025-10-16 18:28  1.8K  
 floor_ceiling_1.py      2025-10-16 18:28  555   
 floor_ceiling_2.py      2025-10-16 18:28  540   
 floor_ceiling_3.py      2025-10-16 18:28  802   
 floor_ceiling_4.py      2025-10-16 18:28  567   
 isXML/                  2025-10-16 18:28    -   
 main.tex                2021-04-19 21:30  662   
 minmax.smt              2025-10-16 18:28  1.0K  
 minmax_EN.tex           2021-04-19 21:30  434   
 minmax_signed.smt       2025-10-16 18:28  1.0K  
 nozerobytes.smt         2025-10-16 18:28  671   
 nozerobytes_EN.tex      2025-10-16 18:28  541   
 simp.py                 2021-02-08 20:32  196   
 simp.txt                2021-02-08 20:32   57   
 simplify.py             2025-10-16 18:28  266   
 simplify1.tex           2021-07-02 15:53  593   
 simplify2.tex           2025-10-16 18:28  1.7K  
 sorting_network/        2025-10-16 18:28    -   
 xor_swap_Z3_check.py    2021-01-05 17:53  219