Eve is a murder/capitalism simulator and has almost no physics in the first place. (There's 3-dimensional positioning, but you can fly through planets and shoot through other ships as much as you like; also the entire world is static.)
No Man's Sky is 90% an art piece with some added murder simulation.
Elite: Dangerous, also a murder/capitalism simulator, only unlike Eve it's more about the immediate visceral.
Notably all three of those pretend space ships are, like WW2 planes, subject to air drag, have a terminal velocity and have no automation on-board whatsoever, and astronomic physics aren't even considered in the first place. These games are literally WW2 fan fics in "space". (Or really, ether, as old-timey people thought of what's between planets.)
If you're looking to teach physics and astronomics, Kerbal Space Project does that quite well, even though it also ignores relativity and speed of light considerations.
More importantly, none of these games are even remotely able to tackle the topic of civiliations and saving them, which won't be done with a gun, but with the word. The closest thing i can think of to that are the Mercenary games: https://en.wikipedia.org/wiki/Mercenary_(video_game)
Edit: Not saying that the three mentioned are bad games, just that they can't be taken seriously as space games.
https://simple.wikipedia.org/wiki/Astronomy
Additionally Sagan was most certainly conflating it with astrophysics, as is commonly done, and evidenced by his mention of "stellar evolutionary events".
The game is often quite boring, but I joke with people that it makes an amazing space station docking simulator. I actually can't wait to try that with an Oculus.
[1]http://gaming.stackexchange.com/questions/224726/does-elite-...
Realistically a space battle would be, does the evader want to evade and has more thrust? => they evade, else, the attacker approaches and both get to shoot until one is dead. There would be no real combat other than weapon size and armour plating. I don't think there would be space dogfights as the onboard computers would just be able to track each other too accurately / apply optimal game theoretic evasions given the constraints. Boring ... might as well play spreadsheets.
See, point, shoot.
Pioneer also exists as an open source Frontier remake, with the same sort of flight model and universe: http://pioneerspacesim.net/
I don't know if it would make for good gameplay though.
However, I felt that using their astronomical names/numbers would be unrealistic--if these stars ever ended up being colonized, they would be given colloquial names, so I made up my own names for most of them.
KSP "only" has a sphere of influence model. That's why there aren't any Lagrange points anywhere in the solar system.
The rest just invent whatever through the magic of procedural generation, which is cool but not coherent with using actual astronomical data.
Those games' established plots are apparently compelling enough, but would they drive learning if their current environments were swapped with something based on reality?