Tobias Paxian
- Login: paxiant
- Email: paxiant@informatik.uni-freiburg.de
- Registered on: 06/26/2014
- Last connection: 07/22/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| AIGSolve | Manager | 03/26/2018 |
| AutoFault | Manager | 01/23/2020 |
| antom | Developer | 10/06/2016 |
| countAntom | Manager, Developer | 12/05/2017 |
| Solver Proxy | Manager, Developer | 09/20/2018 |