Andalusia autonomous basketball team

The Andalusia autonomous basketball team is the basketball team of Andalusia, Spain. The team is not affiliated to FIBA, so only plays friendly games.

Asturias
National federationAndalusian Basketball Federation

History

The Andalusian team only played two friendly games, a first one against an USA All-Star team in 1985[1] and a second one against Croatia in 1993.[2] For this second game, due to the lack of professional players in the region, the two coaches Mario Pesquera and Javier Imbroda had called up three foreign players.

Games played
gollark: ```pythonfrom z3 import *iters = [ Int(f"x{i}") for i in range(40) ]solver = Solver()for n,x in enumerate(iters): if n == 0: solver.add(x == 1111111) else: last = iters[n - 1] solver.add(Or(x == last, (x * 2) == last, x == ((last * 3) + 1)))solver.add(iters[-1] == 1)print(solver.check())print(solver.model())```This is the *best* way to do collatz.
gollark: It's a theorem prover. It can tell you if certain statements/sets of statements are satisfiable, and if so how.
gollark: And I don't think rust does TCO in general.
gollark: Halting is a side effect though.
gollark: Hmm, I wonder if I can horribly abuse z3 for collatz like I abused it for mazes.

References
  1. "Andalucía ? All-Stars ?" (in Spanish). Revandalus.com. Archived from the original on 2016-03-05. Retrieved 12 May 2017.
  2. "El último puño alzado de Drazen, el genio de Sibenik" (in Spanish). Cordópolis.es. 24 May 2013. Retrieved 12 May 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.