mirror of
https://github.com/TheAlgorithms/Python.git
synced 2024-11-24 05:21:09 +00:00
7954a3ae16
+ As per usage examples, clause literals are a list of strings. + Note: symbols extracted from literals are expected to be exactly two characters. + self.literal boolean values are initialized to None, so must be optional + model values should be Booleans, but aren't guaranteed to be non-None in the code. + uses newer '... | None' annotation for Optional values + clauses are passed to the Formula initializer as both lists and sets, they are stored as lists. Returned clauses will always be lists. + use explicit tuple annotation from __future__ rather than using (..., ...) in return signatures + mapping returned by dpll_algorithm is optional per the documentation. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| activity_selection.py | ||
| alternative_list_arrange.py | ||
| check_strong_password.py | ||
| davisb_putnamb_logemannb_loveland.py | ||
| dijkstra_bankers_algorithm.py | ||
| doomsday.py | ||
| fischer_yates_shuffle.py | ||
| gauss_easter.py | ||
| graham_scan.py | ||
| greedy.py | ||
| least_recently_used.py | ||
| lfu_cache.py | ||
| linear_congruential_generator.py | ||
| lru_cache.py | ||
| magicdiamondpattern.py | ||
| nested_brackets.py | ||
| password_generator.py | ||
| scoring_algorithm.py | ||
| sdes.py | ||
| tower_of_hanoi.py | ||