Block or Report
Block or report mikand
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
235 contributions in the last year
We're celebrating 100 million developers!
Less
More
Activity overview
Contribution activity
January 2023
Created 1 commit in 1 repository
Reviewed 2 pull requests in 1 repository
aiplan4eu/unified-planning
2 pull requests
Created an issue in aiplan4eu/unified-planning that received 6 comments
Handle name unicty in a Problem
In UP we have the following named entities, we need to understand which (if any) could share the name with which other. Fluent *Action Task UserType
6
comments